2730 search results - page 182 / 546 » An Abstract Model for Process Mediation |
185
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
155
click to vote
LADS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
160
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
166
click to vote
JGS
2000
15 years 6 months ago
2000
Abstract. Suppose that geographic data under investigation are rates associated with polygons. For example, disease incidence, mortality, and census undercount data may be displaye...
185
click to vote
SEUS
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...