3742 search results - page 127 / 749 » On the Use of Formal Techniques for Validation |
153
click to vote
AAAI
1993
15 years 7 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
203
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
170
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
138
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
: IC technologies are approaching the ultimate limits of silicon in terms of channel width, power supply and speed. By approaching these limits, circuits are becoming increasingly ...
175
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...