2638 search results - page 299 / 528 » Frameworks for Reasoning about Agent Based Systems |
162
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
178
click to vote
EEMMAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
158
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
201
click to vote
JIISIC
2001
15 years 8 months ago
2001
We have developed a distributed DSS capable to working in a dynamic way. That is, when a domain of an organization needs a new kind of information, the system looks for this infor...
308
click to vote
PAMI
2010
15 years 1 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...