1916 search results - page 267 / 384 » Reconfiguring a state machine |
UML
2001
Springer
14 years 1 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
CODES
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
AGENTCL
2000
Springer
14 years 1 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
SIGCSE
1999
ACM
14 years 1 months ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...