2165 search results - page 90 / 433 » cases 2005 |
115
Voted
HASE
2005
IEEE
15 years 9 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
138
Voted
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
132
Voted
HIPEAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. High end routers are targeted at providing worst case throughput guarantees over latency. Caches on the other hand are meant to help latency not throughput in a tradition...
148
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
110
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper deals with Hidden Markov Quadtree model for multiband image segmentation. This task, requiring multivariate probability density computations for the data likelihood ter...