1782 search results - page 30 / 357 » Tool Support for Proof Engineering |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
CAV
2006
Springer
14 years 12 days ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
We present radial scroll, an interface widget to support scrolling particularly on either small or large scale touch displays. Instead of dragging a elevator in a scroll bar, or u...
SEW
2005
IEEE
14 years 2 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
DKE
2011
13 years 3 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...