7080 search results - page 487 / 1416 » Designing High Integrity Systems Using Aspects |
170
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
111
click to vote
CJ
2010
15 years 5 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
132
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
The distribution of real-time tasks in a networked environment in principle has several advantages, above all a high degree of flexibility easing system extension and replacement...
152
click to vote
KDD
2009
ACM
15 years 9 months ago
2009
ACM
1 In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commer...
140
click to vote
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....