837 search results - page 91 / 168 » Proof Development with OMEGA |
102
click to vote
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Automated event extraction remains a very difficult challenge requiring information analysts to manually identify key events of interest within massive, dynamic data. Many techniq...
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
107
click to vote
COMSWARE
2006
IEEE
15 years 6 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
121
Voted
CNSR
2005
IEEE
15 years 6 months ago
2005
IEEE
A framework has been developed as a basis for design and implementation of adaptive Web systems. This framework and the respective architecture support the idea of high-level synt...