1124 search results - page 130 / 225 » Refined quorum systems |
179
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
168
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
212
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
It is valuable to identify and catalog design patterns for reconfigurable computing. These design patterns are canonical solutions to common and recurring design challenges which ...
160
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
178
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...