799 search results - page 129 / 160 » A Logic for Abstract State Machines |
109
click to vote
IFIP12
2009
14 years 7 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...
ERSHOV
2009
Springer
15 years 4 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 ...
ICTAC
2009
Springer
15 years 4 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...
SIGSOFT
2004
ACM
15 years 3 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ļ...
AGENTCL
2000
Springer
15 years 2 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...