1463 search results - page 166 / 293 » Model Checking Implicit-Invocation Systems |
RSP
2007
IEEE
15 years 7 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
105
click to vote
IMSA
2001
15 years 2 months ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...
103
click to vote
ISPDC
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
130
click to vote
ISSE
2007
15 years 1 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
126
click to vote
CIIA
2009
15 years 2 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...