4061 search results - page 409 / 813 » Framework Evolution Tool |
169
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
197
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
178
click to vote
IJDST
2011
14 years 10 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
213
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
183
click to vote
VIS
2009
IEEE
16 years 8 months ago
2009
IEEE
Time and streak surfaces are ideal tools to illustrate time-varying vector fields since they directly appeal to the intuition about coherently moving particles. However, efficient ...