3706 search results - page 218 / 742 » KtSeqC: System Description |
178
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
182
click to vote
ICSOC
2007
Springer
16 years 24 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
155
click to vote
MM
2006
ACM
16 years 18 days ago
2006
ACM
Many photo agencies use the web to sell access to their image collections. Despite significant security measures, images may be stolen and distributed, making it necessary to det...
187
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
165
click to vote
HPCC
2005
Springer
16 years 5 days ago
2005
Springer
Historically, high performance systems use schedulers and intelligent resource managers in order to optimize system usage and application performance. Most of the times, applicatio...