12981 search results - page 370 / 2597 » Model Checking (Abstract) |
154
click to vote
ISIM
2007
15 years 5 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
135
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
149
click to vote
AH
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
113
click to vote
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Black Hole Attacks are a serious threat to communication in tactical MANETs. In this work we present TOGBAD a new centralised approach, using topology graphs to identif...
139
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...