2746 search results - page 49 / 550 » Case Study in Survivable Network System Analysis |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
The focus of this study is to explore why public agencies implement enterprise architecture programs and the interoperability challenges they are faced with when governing these p...
78
Voted
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
One form of group support system that has received much attention from cross-disciplinary research is electronic brainstorming (EBS). While it is generally held that group cohesiv...
ICCBR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...