15792 search results - page 2763 / 3159 » Computational Abstraction Steps |
168
click to vote
LCN
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract—Many routing protocols have been proposed for wireless ad hoc networks, and most of them are based on some variants of flooding. Thus many routing messages are propagat...
183
click to vote
RTCSA
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
203
click to vote
RTSS
2003
IEEE
16 years 4 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
183
click to vote
SRDS
2003
IEEE
16 years 4 days ago
2003
IEEE
distributed shared-memory (SDSM) provides the abstraction necessary to run shared-memory applications on cost-effective parallel platforms such as clusters of workstations. Howeve...
198
click to vote
WMCSA
2003
IEEE
16 years 4 days ago
2003
IEEE
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...