1454 search results - page 42 / 291 » Stateful traits and their formalization |
104
click to vote
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
99
Voted
ERLANG
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
138
Voted
ACSD
1998
IEEE
15 years 4 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
106
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
108
Voted
AAAI
2000
15 years 1 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...