3575 search results - page 242 / 715 » Modeling Concurrency with Geometry |
153
click to vote
ICML
1991
IEEE
15 years 9 months ago
1991
IEEE
The psychological literature on stages of cognitive development was reviewed and found to contain support for the idea that stages represent ordinal, qualitative changes in organi...
194
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
161
click to vote
ACSD
2008
IEEE
16 years 22 days ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
157
click to vote
LCPC
2001
Springer
15 years 10 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
150
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...