227 search results - page 45 / 46 » Formal verification of systems with an unlimited number of c... |
RTCSA
1999
IEEE
13 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
DT
2000
13 years 6 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
KCAP
2009
ACM
14 years 19 days ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
ASPLOS
2006
ACM
14 years 3 days ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
VISUALIZATION
2005
IEEE
13 years 11 months ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...