878 search results - page 28 / 176 » Interacting Abstract State Machines |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
ETS
2002
IEEE
14 years 9 months ago
2002
IEEE
There is interplay between emotions and learning, but this interaction is far more complex than previous learning theories have articulated--this interplay interacts with other re...
CSCLP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
JACIII
2006
14 years 9 months ago
2006
om which abstract features are extracted with image processing. The output of the system is the state of printing pressure, which is divided into 3 states: EXCESSIVE PRESSURE (EP),...
APSEC
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...