7080 search results - page 1261 / 1416 » Designing High Integrity Systems Using Aspects |
139
Voted
ISQED
2011
IEEE
14 years 7 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
143
click to vote
AINTEC
2007
Springer
15 years 9 months ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
116
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
View Synchrony (VS) is a powerful abstraction in the design and implementation of dependable distributed systems. By ensuring that processes deliver the same set of messages in ea...
129
click to vote
INTERNET
2002
15 years 3 months ago
2002
stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
137
click to vote
FAST
2009
15 years 1 months ago
2009
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...