4516 search results - page 293 / 904 » Automated System Design for Availability |
170
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
164
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
163
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
164
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we present a method for supplementing incomplete cases with information from other cases within a case base. The acquisition of complete and correct cases i...
162
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
The vision of a common international education space includes a scenario for the composition of personalised study curricula consisting of modules offered by different universitie...