35419 search results - page 7006 / 7084 » How are we doing |
122
click to vote
IV
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a novel human-computer interface that enables the computer display to be perceived without any use of the eyes. Our system works by tracking the user’s head ...
134
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
139
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
145
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper revisits burst contention resolution problems in optical burst switching (OBS) networks from the viewpoint of network utility maximization. Burst collision o...
136
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...