16616 search results - page 3011 / 3324 » Extending Extended Vacuity |
201
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
231
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
183
click to vote
BTW
2005
Springer
16 years 9 days ago
2005
Springer
: User-defined data types such as intervals require specialized access methods to be efficiently searched and queried. As database implementors cannot provide appropriate index str...
164
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
186
click to vote
CEEMAS
2005
Springer
16 years 9 days ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...