520 search results - page 58 / 104 » Truthful Mechanisms for Exhibitions |
SRDS
1997
IEEE
15 years 4 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
CVRMED
1997
Springer
1997
Springer
An efficient needle injection technique and radiological guidance method for percutaneous procedures
15 years 4 months ago
This paper presents a simple radiologicd image guidance method and robotic system optimized for percutaneous procedures.This simplicity is achieved by combining the proven guidance...
126
click to vote
CADE
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
109
click to vote
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Interest is rising in genuinely distributed ('peer-to-peer') resource discovery systems, which all provide mechanisms for self-organization of their resource pr...
102
click to vote
APCSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
In this paper, a new architecture called the extendable instruction set computer (EISC) is introduced that addresses the issues of memory size and performance in embedded micropro...