345 search results - page 50 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
ECSA
2010
Springer
15 years 26 days ago
2010
Springer
In this paper we analyze the effectiveness of dynamic artificial diversity, i.e., artificial diversity in which the subject of the diversity is re-randomized periodically. We refer...
113
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
QSIC
2006
IEEE
15 years 5 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
100
click to vote
SIGSOFT
2002
ACM
16 years 15 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...