799 search results - page 129 / 160 » A Logic for Abstract State Machines |
166
click to vote
IFIP12
2009
15 years 2 months ago
2009
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
139
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are high-level behavioral speciļ¬cations typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
141
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral speciļ¬cations typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
124
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
149
click to vote
AGENTCL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...