3922 search results - page 246 / 785 » The IA-64 Architecture at Work |
145
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
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...
163
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
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...
177
Voted
CADE
2000
Springer
15 years 11 months ago
2000
Springer
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 ...
165
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
: 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....
156
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
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...