2638 search results - page 383 / 528 » Frameworks for Reasoning about Agent Based Systems |
273
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
The pervasiveness of location-acquisition technologies (GPS, GSM networks, etc.) enable people to conveniently log the location histories they visited with spatio-temporal data. T...
277
click to vote
DIMVA
2011
14 years 10 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
184
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
170
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
185
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...