813 search results - page 83 / 163 » Correctness Properties for Multiagent Systems |
149
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
147
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
115
click to vote
AVBPA
2001
Springer
15 years 8 months ago
2001
Springer
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...
114
Voted
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
121
click to vote
JUCS
2008
15 years 3 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...