2638 search results - page 104 / 528 » Frameworks for Reasoning about Agent Based Systems |
156
click to vote
TC
2002
15 years 4 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
137
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
148
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
132
click to vote
WSC
2004
15 years 5 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
123
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...