1713 search results - page 279 / 343 » Modeling and Engineering Adaptive Complex Systems |
101
Voted
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
118
click to vote
WICSA
2001
15 years 2 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
106
Voted
ICSE
2007
IEEE-ACM
16 years 28 days ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
104
click to vote
IPM
2006
15 years 24 days ago
2006
This study examines the facets and patterns of multiple Web query reformulations with a focus on reformulation sequences. Based on IR interaction models, it was presumed that quer...
116
Voted
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...