3486 search results - page 497 / 698 » System Design and Networking Protocols for Wireless Position... |
106
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
The distribution of real-time tasks in a networked environment in principle has several advantages, above all a high degree of flexibility easing system extension and replacement...
162
click to vote
AAAIDEA
2005
IEEE
15 years 7 months ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
114
click to vote
SIGCOMM
2005
ACM
15 years 7 months ago
2005
ACM
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
221
Voted
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
116
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol using smart cards for home networks. The proposed scheme is to authenti...