5243 search results - page 910 / 1049 » Reasoning About Strategies |
206
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
142
click to vote
VMCAI
2007
Springer
16 years 15 days 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...
164
click to vote
IUI
2006
ACM
16 years 11 days 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...
215
click to vote
ATAL
2005
Springer
15 years 12 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...
162
click to vote
LOPSTR
2005
Springer
15 years 12 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...