3256 search results - page 436 / 652 » Applications of Formal Methods to System Design and Verifica... |
142
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
171
click to vote
TCAD
2002
15 years 5 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
175
Voted
CLEIEJ
2004
15 years 5 months ago
2004
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
171
Voted
WSC
2000
15 years 6 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
177
click to vote
GRAPHICSINTERFACE
1997
15 years 6 months ago
1997
We present a system for incorporating multiple level of detail (LOD) models of 3D objects within a single hierarchical data structure. This system was designed for a scientific vi...