4609 search results - page 172 / 922 » Automatic Generation of Sigma-Protocols |
204
click to vote
TOG
2008
15 years 6 months ago
2008
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
152
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
163
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Legal regulations and industry standards require organizations to measure and maintain a specified IT-security level. Although several IT-security metrics approaches have been de...
154
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...
172
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...