4224 search results - page 750 / 845 » Reasoning about Choice |
87
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
100
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
147
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
113
Voted
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
109
click to vote
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...