1370 search results - page 117 / 274 » Metacase Tools for Multidimensional Development of Informati... |
221
Voted
CC
2009
Springer
16 years 4 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
121
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
117
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
132
Voted
ITP
2010
15 years 1 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
125
Voted
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
The ever increasing size of networks has resulted in a corresponding escalation of administration costs and lengthy deployment cycles. Clearly, more scalable and flexible network...