Sciweavers

3856 search results - page 422 / 772
» Models for Automated Earthmoving
Sort
View
KBSE
2008
IEEE
16 years 1 months ago
A Case for Automatic Exception Handling
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
Bruno Cabral, Paulo Marques
LICS
2007
IEEE
16 years 1 months ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
ECSQARU
2007
Springer
16 years 28 days ago
Arguing over Actions That Involve Multiple Criteria: A Critical Review
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
Wassila Ouerdane, Nicolas Maudet, Alexis Tsouki&ag...
ICWE
2007
Springer
16 years 27 days ago
The Challenges of Application Service Hosting
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
Ike Nassi, Joydip Das, Ming-Chien Shan
TARK
2007
Springer
16 years 26 days ago
Unawareness, beliefs and games
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...
Aviad Heifetz, Martin Meier, Burkhard C. Schipper