Sciweavers

3922 search results - page 246 / 785
» The IA-64 Architecture at Work
Sort
View
ISWC
2002
IEEE
15 years 11 months ago
A Wearable Computer for Support of Astronaut Extravehicular Activity
A wearable situational awareness terminal (WearSAT) that provides text, graphics, and video to an astronaut via a near-eye display, and acts as a client on a wireless network, has...
Christopher E. Carr, Steven J. Schwartz, Ilia Rose...
IWDC
2001
Springer
15 years 11 months ago
A Study on QoS Provision for IP-Based Radio Access Networks
The fast adoption of IP-based communications for hand-held devices equipped with wireless interfaces is creating new challenges for the Internet evolution. Users expect flexible ac...
Alberto López Toledo, Jukka Manner, Andrej ...
177
Voted
CADE
2000
Springer
15 years 11 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
DAC
1999
ACM
15 years 11 months ago
Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
Mauro Chinosi, Roberto Zafalon, Carlo Guardiani
HICSS
1999
IEEE
88views Biometrics» more  HICSS 1999»
15 years 11 months ago
Facilitating User-System Interaction: The GAIA Interaction Agent
This paper presents the identification, design and implementation of a user interface to a brokerage system and the conceptual architecture and functional behaviour of an intellig...
Panayiotis Koutsabasis, John Darzentas, Thomas Spy...