Search results for " Process"

showing 10 items of 17204 documents

Linear Types for Higher Order Processes with First Class Directed Channels

1995

Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.

process algebrasGraph rewritinggraph rewritingTheoretical computer scienceGeneral Computer ScienceProcess (engineering)Computer scienceMessage passinglinear typesTopology (electrical circuits)Communicating sequential processesType (model theory)Operational semanticsTheoretical Computer Scienceoperational semanticsComputer Science::Programming Languagesdistributed programmingcomputerComputer Science(all)Computer Science::Information Theorycomputer.programming_languageElectronic Notes in Theoretical Computer Science
researchProduct

An integrated approach to process analysis in a public administration: Business Process Reengineering and System Dynamics to support the funds delive…

2011

process analysis in a public administrationSettore SECS-P/07 - Economia AziendaleBusiness Process Reengineering and System Dynamicfunds delivery proceSicilian Region.
researchProduct

The New Nino Capability Index for Dynamic Process Capability Analysis

2015

The process capability analysis is a crucial activity to evaluate if the process outcome meets the design specifications. Classically, such analysis is performed by verifying the in-control condition of the process and evaluating suitable capability indices, by assuming the process in-control steady-state condition. However, the in-control period of the process characterizes only a part of the system functioning cycle, the one with the lower defective rate. In particular, the system functioning cycle is also characterized by the out-of-control period, during which a greater defective rate is produced, and such increasing is not considered by the widely adopted capability indices. As consequ…

process defective rateprocess capability analysiover the time process variabilitysystem functioning cycleprocess capability indiceSettore ING-IND/16 - Tecnologie E Sistemi Di Lavorazione
researchProduct

The Design Science Research Process : A Model for Producing and Presenting Information Systems Research

2006

The authors design and demonstrate a process for carrying out design science (DS) research in information systems and demonstrate use of the process to conduct research in two case studies. Several IS researchers have pioneered the acceptance of DS research in IS, but in the last 15 years little DS research has been done within the discipline. The lack of a generally accepted process for DS research in IS may have contributed to this problem. We sought to design a design science research process (DSRP) model that would meet three objectives: it would be consistent with prior literature, it would provide a nominal process model for doing DS research, and it would provide a mental model for p…

process modelcase studydesign sciencedesign science research processrequirements elicitationrequirements engineeringinformation systems development
researchProduct

Electrodialysis with capacitive electrodes (CED): hierarchical process modelling for water desalination

2018

The present work describes the development of the first dynamic model for CED

process modeldesalinationSettore ING-IND/26 - Teoria Dello Sviluppo Dei Processi Chimicicapacitive electrodeElectrodialysisimulation
researchProduct

Bewusstheit und ihre Ermittlung in der Unterrichtskommunikation – Bestandsanalyse und Perspektiven

2017

The paper examines the functions of awareness in classroom communication. The focus is on interactionist approaches, conversational analysis and multimodal analysis methods. The concept of awareness can be analyzed from an inner or an external perspective. According to the perspective adopted, different approaches to the study of classroom discourse can be designed. The three approaches considered in the paper trace the development of awareness from language (learning) awareness to interactional awareness and thus offer a prospect of a deeper understanding of classroom discourse.

processi cognitivi nell´apprendimento linguistico processi comunicativi modelli nella ricerca riguardante l´interazione in classeSettore L-LIN/02 - Didattica Delle Lingue Moderne
researchProduct

PROCESSO CONSERVATIVO E SIGNIFICATIVITà UN APPROCCIO METODOLOGICO PER LA PROGETTAZIONE DEI SISTEMI DI PROTEZIONE NEI SITI ARCHEOLOGICI/CONSERVATION P…

2018

Patrimonio culturale in generale e dei beni archeologici in particolare, in ragione della loro duplice natura (materiale e immateriale) e coerentemente con l’interesse della Cultura tecnologica per la centralità di quegli aspetti di processo che sono determinanti per una loro adeguata valorizzazione e ampia fruizione, il presente contributo propone un modello di valutazione per capire ‘cosa’ conservare e ‘per- ché’ nell’ottica di uno sviluppo sostenibile, ancor prima di ‘come’ farlo, consentendo una più chiara lettura e una più agevole interpretazione delle complesse relazioni esistenti fra le preesistenze archeologiche, il contesto naturale e i sistemi antropici aggiunti. Il modello di val…

processo conservativo valori e significatività metodologia di valutazione cultura tecnologica sistemi di protezioneconservation process values and significance assessment method technological culture protective shelteringSettore ICAR/12 - Tecnologia Dell'Architettura
researchProduct

Riflessi processuali del comportamento assunto in mediazione: la sorte delle spese di giudizio in una prospettiva comparatistica

2011

processo mediazione spese giudiziali comparatisticaSettore IUS/01 - Diritto PrivatoSettore IUS/15 - Diritto Processuale CivileSettore IUS/02 - Diritto Privato Comparato
researchProduct

Openness to interreligious dialogue – psychological antecedents and processes

2019

Celem niniejszego artykułu jest określenie psychologicznych uwarunkowań i procesów, które odgrywają kluczową rolę w budowaniu i rozwijaniu otwartości na dialog międzyreligijny. Dwa czynniki decydują o stylu prowadzenia dialogu międzyreligijnego: cechy osobowości (ugodowość i otwartość na doświadczenie) oraz postawy religijne (dojrzała religijność). Formują one atmosferę tolerancji, która jest szczególnie ważna w dialogu, gdyż tworzy wolność religijną, która jest niezbędnym warunkiem dialogu międzyreligijnego. Skuteczność dialogu międzyreligijnego zależy od obecności czynników osobistych i grupowych, które określają jego ostateczny charakter, np. prawdziwa autonomia motywacji religijnej, umi…

procesy dialogu. Interreligiousinterreligious dialogueotwartośćopennesspostawy religijnepersonalityosobowośćdialogue processesreligious attitudesdialog międzyreligijnyStudia Oecumenica
researchProduct

Planning Production Preparation Processesusing The Critical Chain Method

2017

This paper explains the usefulness of critical chain project management for planning production preparation processes. A synthesis of issues of project management and production preparation processes is presented, and a conceptual model of concurrent design processes using the critical chain method is developed. The proposed model of planning production preparation processes enables improving the effectiveness and economic efficiency of new product development. The main assessment indicators of efficient project management in production preparation are: shortening the preparation time of new product development, rational use of resources, and reducing the risk of failure. The proposed appro…

production preparation processescritical chain project managementnew product developmentplanning processAcademic Journal of Manufacturing Engineering
researchProduct