4350 search results - page 162 / 870 » Case studies for contract-based systems |
154
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
To meet time constraints, a CBR system must control the time spent searching in the case base for a solution. In this paper, we presents the results of a case study comparing the p...
106
click to vote
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
125
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
110
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
As modern organizations increasingly operate in a global economy, they need IT support around the globe; favorable economic conditions also encourage the use of offshore IT teams....
131
click to vote
SIGMETRICS
1995
ACM
15 years 7 months ago
1995
ACM
Prefetching and caching are e ective techniques for improving the performance of le systems, but they have not been studied in an integrated fashion. This paper proposes four pro...