1782 search results - page 30 / 357 » Tool Support for Proof Engineering |
144
click to vote
ECAI
2004
Springer
15 years 8 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...
144
click to vote
CAV
2006
Springer
15 years 6 months 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...
112
click to vote
UIST
2004
ACM
15 years 8 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...
142
Voted
SEW
2005
IEEE
15 years 8 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...
180
click to vote
DKE
2011
14 years 10 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...