1087 search results - page 99 / 218 » The DecideIT Decision Tool |
CIARP
2004
Springer
14 years 1 months ago
2004
Springer
Intravascular Ultrasound images represent a unique tool to analyze the morphological vessel structures and make decisions about plaque presence. Texture analysis is a robust way to...
EUROGP
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
ICSE
2003
IEEE-ACM
14 years 29 days ago
2003
IEEE-ACM
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
WOSP
2000
ACM
14 years 3 days ago
2000
ACM
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
CAV
1999
Springer
14 years 1 days ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...