3130 search results - page 262 / 626 » Design Correctness of Digital Systems |
135
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
140
Voted
AAAI
1996
15 years 6 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
222
click to vote
SIGSOFT
2011
ACM
14 years 11 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
139
click to vote
ICDCS
1998
IEEE
15 years 9 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
122
Voted
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we propose a management framework for protecting large computer systems against operator mistakes. By detecting and confining mistakes to isolated portions of the ...