3742 search results - page 156 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
166
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
154
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
154
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
169
click to vote
WABI
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...