1724 search results - page 180 / 345 » Models for Concurrency |
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
AAI
2000
14 years 10 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
POPL
2009
ACM
15 years 5 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
114
click to vote
SCP
1998
14 years 9 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
108
click to vote
SCP
2002
14 years 9 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...