5639 search results - page 844 / 1128 » Timed Abstract Non-interference |
114
click to vote
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
118
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— This paper addresses the problem of capturing an arbitrary convex object P in the plane with three congruent disc-shaped robots. Given two stationary robots in contact ...
140
click to vote
IEEEICCI
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
119
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— The Medium Access Control (MAC) scheme proposed by DAVIC/DVB, IEEE 802.14 and DOCSIS for the upstream channel of Hybrid Fiber Coaxial (HFC) access networks is based on ...
106
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— We study the impact of interferences on the connectivity of large-scale ad-hoc networks, using percolation theory. We assume that a bi-directional connection can be set...