1782 search results - page 204 / 357 » Tool Support for Proof Engineering |
156
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
158
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
155
click to vote
IADIS
2003
15 years 7 months ago
2003
In this paper we present an integrated approach to the development of Complex Web Applications. The principal philosophy of the development is to support simplicity, consistency, ...
178
click to vote
WOA
2001
15 years 7 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
160
click to vote
DSD
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...