EUROCAST
2007
Springer
13 years 6 months ago
2007
Springer
EUROCAST
2007
Springer
13 years 6 months ago
2007
Springer
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
RND (Radio Network Design) is an important problem in mobile telecommunications (for example in mobile/cellular telephony), being also relevant in the rising area of sensor network...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
