1001 search results - page 170 / 201 » Testing Formal Dialectic |
TASLP
2002
13 years 7 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...
ICFEM
2010
Springer
13 years 6 months 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...
ICRA
2010
IEEE
13 years 6 months 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
13 years 6 months 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...
TCS
2010
13 years 6 months 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...