685 search results - page 79 / 137 » An integrated environment for designing object-oriented ente... |
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
PDP
2006
IEEE
14 years 3 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
VRML
2004
ACM
14 years 2 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...