10159 search results - page 281 / 2032 » System Design Validation Using Formal Models |
127
click to vote
APPINF
2003
15 years 4 months ago
2003
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
127
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
122
Voted
CNSR
2007
IEEE
15 years 5 months ago
2007
IEEE
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...
125
click to vote
CLEF
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
137
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...