3130 search results - page 403 / 626 » Design Correctness of Digital Systems |
200
click to vote
SCESM
2006
ACM
16 years 17 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
179
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
203
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
163
click to vote
HASKELL
2006
ACM
16 years 18 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
153
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
— Knowing the positions of the nodes in a network is essential to many next generation pervasive and sensor network functionalities. Although many network localization systems ha...