3729 search results - page 532 / 746 » On Formal Modeling of Agent Computations |
149
click to vote
IEEESCC
2007
IEEE
16 years 26 days ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
142
click to vote
MFCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
138
click to vote
TGC
2007
Springer
16 years 20 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
198
click to vote
LICS
2006
IEEE
16 years 17 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
196
click to vote
RTCSA
2006
IEEE
16 years 17 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...