12774 search results - page 401 / 2555 » A Framework for Proof Systems |
238
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— A geometric optimization based approach to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane is presented in [1]. Th...
186
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
200
click to vote
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
159
click to vote
COOPIS
2002
IEEE
16 years 20 days ago
2002
IEEE
This paper demonstrates that work in digital enterprises—like work in conventional enterprises— can be carried out effectively by autonomous agents, subject to a regulatory r...
236
click to vote
HPCN
1999
Springer
15 years 12 months ago
1999
Springer
We developed a platform independent, three-tier system, called WebFlow. The visual authoring tools implemented in the front end integrated with the middle tier network of servers ...