2875 search results - page 490 / 575 » Model checking agentspeak |
120
click to vote
INTERNET
2006
15 years 19 days ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
108
click to vote
ENTCS
2007
15 years 18 days ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
106
Voted
RE
2006
Springer
15 years 17 days ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
108
Voted
IJMTM
2007
15 years 17 days ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
114
Voted
AC
2002
Springer
15 years 15 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...