4224 search results - page 696 / 845 » Reasoning about Choice |
105
Voted
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...
117
Voted
ICDIM
2007
IEEE
15 years 1 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to act as enablers of seamless application-to-application integration both within company ...
89
Voted
C++
1994
15 years 2 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
112
Voted
ACTA
2010
15 years 1 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
96
Voted
AAMAS
2007
Springer
15 years 1 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...