2810 search results - page 73 / 562 » Contract-Based Component System Design |
109
Voted
DAC
1990
ACM
15 years 7 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
122
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
132
click to vote
PERCOM
2003
ACM
15 years 8 months ago
2003
ACM
The paper describes research that has been carried out in “extrovert-Gadgets”, a research project funded in the context of EU IST/FET proactive initiative “Disappearing Comp...
135
click to vote
IJVR
2008
15 years 2 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
123
click to vote
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...