4609 search results - page 137 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
139
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
174
click to vote
ACL
2007
15 years 7 months ago
2007
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
141
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
173
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...