Sciweavers

3458 search results - page 424 / 692
» Abstracting Control
Sort
View
GI
2004
Springer
15 years 10 months ago
User Authentication in Sensor Networks
d Abstract) Zinaida Benenson Felix G¨artner Dogan Kesdogan RWTH Aachen, Department of Computer Science, D-52056 Aachen, Germany : If the data collected within a sensor network is ...
Zinaida Benenson, Felix C. Gärtner, Dogan Kes...
HUC
2004
Springer
15 years 10 months ago
Personalized Peripheral Information Awareness Through Information Art
Abstract. This article describes development of the concept of Information Art, a type of ambient or peripheral display involving user-specified electronic paintings in which resi...
John T. Stasko, Todd Miller, Zachary Pousman, Chri...
HYBRID
2004
Springer
15 years 10 months ago
Constructing Invariants for Hybrid Systems
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
ICWE
2004
Springer
15 years 10 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
ITRUST
2004
Springer
15 years 10 months ago
Analyzing Correlation between Trust and User Similarity in Online Communities
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
Cai-Nicolas Ziegler, Georg Lausen