3742 search results - page 635 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
VLDB
2007
ACM
16 years 14 days ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
164
click to vote
IAT
2006
IEEE
16 years 12 days ago
2006
IEEE
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...
152
click to vote
PPOPP
2006
ACM
16 years 9 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
176
click to vote
SAC
2006
ACM
16 years 9 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
166
click to vote
SIGCOMM
2006
ACM
16 years 9 days ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...