3265 search results - page 358 / 653 » Distributed Slicing in Dynamic Systems |
128
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
161
Voted
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
146
Voted
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
107
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a mechanism for providing the incentives for reporting truthful feedback in a peer-to-peer system for exchanging services. This mechanism is to complement reputation me...
127
Voted
APWEB
2005
Springer
15 years 9 months ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...