374 search results - page 20 / 75 » The FRESCO Framework: An Overview |
CISSE
2007
Springer
13 years 12 months ago
2007
Springer
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
ATMOS
2007
13 years 9 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
AVI
2010
13 years 9 months ago
2010
Urban environments require cognitive abilities focused on both spatial overview and detailed understanding of uses and places. These abilities are distinct but overlap and reinfor...
DAIS
2003
13 years 9 months ago
2003
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
IEE
2010
13 years 6 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...