10159 search results - page 625 / 2032 » System Design Validation Using Formal Models |
192
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
184
click to vote
SPW
2000
Springer
15 years 10 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
175
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper investigates the problem of tracking a desired plasma glucose evolution by means of intra-venous insulin administration. A modelbased approach is followed. A recent model...
188
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
207
Voted
BIB
2007
15 years 7 months ago
2007
The collection of multiple genome-scale datasets is now routine, and the frontier of research in systems biology has shifted accordingly. Rather than clustering a single dataset t...