Sciweavers

1021 search results - page 144 / 205
» Concepts in Proof Planning
Sort
View
ICCHP
2010
Springer
14 years 1 months ago
Real-Time Walk Light Detection with a Mobile Phone
Crossing an urban traffic intersection is one of the most dangerous activities of a blind or visually impaired person's travel. Building on past work by the authors on the iss...
Volodymyr Ivanchenko, James Coughlan, Huiying Shen
CISIS
2009
IEEE
14 years 1 months ago
Smews: Smart and Mobile Embedded Web Server
—In this paper, we show that Web protocols and technologies are good candidates to design the Internet of Things, through a user-centric architecture (the user simply has to use ...
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vand...
ICA3PP
2009
Springer
14 years 1 months ago
A Software Transactional Memory Service for Grids
In-memory data sharing for grids allow location-transparent access to data stored in volatile memory. Existing Grid middlewares typ- ically support only explicit data transfer betw...
Kim-Thomas Möller, Marc-Florian Müller, ...
IH
2001
Springer
14 years 1 months ago
Keyless Public Watermarking for Intellectual Property Authentication
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
Gang Qu
IWDC
2001
Springer
114views Communications» more  IWDC 2001»
14 years 1 months ago
A Protection-Based Approach to QoS in Packet over Fiber Networks
We propose a novel approach to Quality of Service, intended for IP over SONET (or IP over WDM) networks, that offers end-users the choice between two service classes defined acco...
Patrick Thiran, Nina Taft, Christophe Diot, Hui Za...