1054 search results - page 171 / 211 » From a Verified Kernel towards Verified Systems |
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
131
click to vote
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a flow-control scheme for multicast ABR services in ATM networks. At the heart of the proposed scheme is an optimal secondorder rate control algorithm, called the -contr...
125
click to vote
PKC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
133
click to vote
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
A prefix hijack attack involves an attacker announcing victim networks' IP prefixes into the global routing system. As a result, data traffic from portions of the Internet ca...