376 search results - page 62 / 76 » A Controlled Language for the Specification of Contracts |
RSP
1999
IEEE
13 years 11 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
FAABS
2000
Springer
13 years 10 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
ADC
2006
Springer
14 years 22 days ago
2006
Springer
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...
VRST
2004
ACM
14 years 4 days ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
JOT
2007
13 years 6 months ago
2007
We describe a prototype of a diffraction range finding camera implemented in, and simulated by, Java. This sensor is able to digitize objects in 3D using only a single video camer...