1001 search results - page 170 / 201 » Testing Formal Dialectic |
120
click to vote
TASLP
2002
15 years 2 months ago
2002
Mobile multimedia applications, the focus of many forthcoming wireless services, increasingly demand low-power techniques implementing content protection and customer privacy. In t...
156
click to vote
ICFEM
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
132
click to vote
ICRA
2010
IEEE
15 years 26 days ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
PVLDB
2010
15 years 23 days ago
2010
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
106
click to vote
TCS
2010
15 years 22 days ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...