1415 search results - page 235 / 283 » Verified systems by composition from verified components |
IH
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
ICRA
2002
IEEE
14 years 20 days 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
14 years 10 days 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...
INFOCOM
1999
IEEE
14 years 1 days 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...
PKC
1999
Springer
14 years 1 hour 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...