882 search results - page 139 / 177 » Analysis of Composite Corridors |
SGAI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we describe the concept of Meta ARM in the context of its objectives and challenges and go on to describe and analyse a number of potential solutions. Meta ARM is de...
122
click to vote
SOCO
2007
Springer
15 years 6 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
104
click to vote
WSFM
2007
Springer
15 years 6 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
AHS
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...