972 search results - page 113 / 195 » Reasoning with Conditional Time-Intervals |
CAV
2010
Springer
14 years 10 days ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
WSC
2007
13 years 11 months ago
2007
In the last few years, the call center industry has considerably grown especially the outbound call center area, such as telemarketing. The productivity of the call centers has si...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper discusses the application of distributed constraint optimization to coordination in disaster management situations under sub-optimal network conditions. It presents an ...
ARGMAS
2005
Springer
13 years 11 months ago
2005
Springer
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
EDUTAINMENT
2008
Springer
13 years 10 months ago
2008
Springer
Computer games accessibility have initially been regarded as an area of minor importance as there were much more "serious" topics to focus on. Today, the society is slowl...