556 search results - page 84 / 112 » Checking Interval Properties of Computations |
132
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
112
click to vote
ENTCS
2007
15 years 1 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
100
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The success of a Public Key Infrastructure such as the Web of Trust (WoT) heavily depends on its ability to ensure that public keys are used by their legitimate owners, thereby ...
ICAC
2005
IEEE
15 years 7 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
141
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...