3424 search results - page 279 / 685 » Building Diverse Computer Systems |
105
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
100
click to vote
P2P
2005
IEEE
15 years 8 months ago
2005
IEEE
Efficient access to distributed and dynamic multidimensional data is vital for applications in large, heterogeneous, decentralised, resource-sharing environments such as Grids an...
121
Voted
HICSS
1997
IEEE
15 years 6 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
87
Voted
SP
1996
IEEE
15 years 6 months ago
1996
IEEE
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
126
click to vote
ESANN
2008
15 years 3 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...