4609 search results - page 897 / 922 » Automatic Generation of Sigma-Protocols |
110
click to vote
SIGGRAPH
2000
ACM
15 years 4 months ago
2000
ACM
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
ASM
2000
ASM
15 years 4 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
CAISE
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
110
click to vote
ECBS
1999
IEEE
15 years 4 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
EPIA
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...