10707 search results - page 564 / 2142 » Designing executable abstractions |
212
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We provide a method for planning under uncertainty for robotic manipulation by partitioning the configuration space into a set of regions that are closed under complia...
231
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a solution to interactive navigation planning and real-time simulation of a very large number of entities moving in a virtual environment. From the ...
165
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Each time more grows the necessity of guaranteeing itself security and trustworthiness of the equipment during the execution of the industrials processes. Then, it is v...
184
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
180
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...