1370 search results - page 117 / 274 » Metacase Tools for Multidimensional Development of Informati... |
275
click to vote
CC
2009
Springer
16 years 7 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...
158
click to vote
GI
2004
Springer
15 years 11 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 ...
152
click to vote
COMPSAC
2004
IEEE
15 years 10 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. ...
176
click to vote
ITP
2010
15 years 4 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...
165
click to vote
ACSC
2006
IEEE
16 years 14 days 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...