Sciweavers

2261 search results - page 96 / 453
» Relationships Between Models of Concurrency
Sort
View
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
14 years 2 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia
LCPC
2001
Springer
14 years 13 days ago
An Interface Model for Parallel Components
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
Milind A. Bhandarkar, Laxmikant V. Kalé
DAIS
2007
13 years 9 months ago
The Context-Dependent Role Model
Implementing context-dependent behaviour of pervasive computing applications puts a great burden on programmers: Devices need to continuously adapt not only to their own context, b...
Jorge Vallejos, Peter Ebraert, Brecht Desmet, Tom ...
MSR
2005
ACM
14 years 1 months ago
Mining version histories to verify the learning process of Legitimate Peripheral Participants
Since code revisions reflect the extent of human involvement in the software development process, revision histories reveal the interactions and interfaces between developers and...
Shih-Kun Huang, Kang-min Liu
BPM
2008
Springer
188views Business» more  BPM 2008»
13 years 10 months ago
Social Software for Modeling Business Processes
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
Agnes Koschmider, Minseok Song, Hajo A. Reijers