12981 search results - page 450 / 2597 » Model Checking (Abstract) |
171
Voted
BMCBI
2005
15 years 4 months ago
2005
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
146
click to vote
RTCSA
2005
IEEE
15 years 10 months 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...
181
click to vote
TAGT
1998
Springer
15 years 9 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...
161
click to vote
SDL
2003
15 years 6 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...
127
click to vote
ICSE
2009
IEEE-ACM
15 years 11 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...