Sciweavers

Share
EUROCAST
2007
Springer
105views Hardware» more  EUROCAST 2007»
9 years 3 months ago
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic
Antonio Morales, Isabel Navarrete, Guido Sciavicco
EUROCAST
2007
Springer
97views Hardware» more  EUROCAST 2007»
9 years 3 months ago
XML Rules for Enclitic Segmentation
Fco. Mario Barcala, Miguel A. Molinero, Eva Dom&ia...
EUROCAST
2007
Springer
132views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem
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...
Miguel A. Vega-Rodríguez, Juan Antonio G&oa...
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Using Verification Technology to Specify and Detect Malware
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...
Andreas Holzer, Johannes Kinder, Helmut Veith
EUROCAST
2007
Springer
97views Hardware» more  EUROCAST 2007»
9 years 5 months ago
A Practical Agent-Based Approach for Pattern Layout Design
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...
Cunhao Fang, Song Cao
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Pattern-Based Verification for Trees
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...
Milan Ceska, Pavel Erlebach, Tomás Vojnar
EUROCAST
2007
Springer
133views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Temporal Equilibrium Logic: A First Approach
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...
Pedro Cabalar, Gilberto Pérez Vega
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Efficient Model Checking of Applications with Input/Output
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...
Cyrille Artho, Boris Zweimüller, Armin Biere,...
EUROCAST
2007
Springer
159views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Ant Colony Optimization for Model Checking
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...
Enrique Alba, J. Francisco Chicano
EUROCAST
2007
Springer
67views Hardware» more  EUROCAST 2007»
9 years 5 months ago
Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs
Enrique Alba, Alejandro Cervantes, J. A. Gó...
books