12981 search results - page 450 / 2597 » Model Checking (Abstract) |
219
click to vote
BMCBI
2005
15 years 6 months ago
2005
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
190
click to vote
RTCSA
2005
IEEE
16 years 13 days ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
218
click to vote
TAGT
1998
Springer
15 years 11 months ago
1998
Springer
When working with diagrams in visual environments like graphical diagram editors, diagrams have to be represented by an internal model. Graphs and hypergraphs are well-known concep...
196
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
167
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...