11168 search results - page 36 / 2234 » Abstract State Processes |
119
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
154
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
90
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
109
Voted
EUROMED
2010
15 years 5 days ago
2010
Abstract. Scientists and conservators, involved in cultural heritage documentation management, have to furnish not only qualitative but also quantitative description of the assessm...
106
Voted
CONCUR
2005
Springer
15 years 4 months ago
2005
Springer