1164 search results - page 62 / 233 » Case Studies in Event-Driven Control |
136
click to vote
IJSEKE
2008
15 years 4 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
146
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
123
click to vote
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
129
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
123
click to vote
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...