Sciweavers

2669 search results - page 354 / 534
» Providing Contextual Information to Pervasive Computing Appl...
Sort
View
ICTAI
2008
IEEE
16 years 1 months ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
157
Voted
LCN
2006
IEEE
16 years 18 days ago
Efficient Algorithms for Secure Multicast key Management
Group Multicast is becoming a prevalent issue in Network applications such as teleconferencing, payper-view, and information services. In order to secure group communications by p...
Elham Khabiri, Saïd Bettayeb
TABLETOP
2006
IEEE
16 years 18 days ago
Rotation and Translation Mechanisms for Tabletop Interaction
A digital tabletop, such as the one shown in Figure 1, offers several advantages over other groupware form factors for collaborative applications. However, users of a tabletop sys...
Mark S. Hancock, M. Sheelagh T. Carpendale, Fr&eac...
VISUALIZATION
2005
IEEE
16 years 5 days ago
Visualization of the Genus of Knots
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
Jarke J. van Wijk, Arjeh M. Cohen
EUROPAR
2004
Springer
15 years 12 months ago
A Data Structure Oriented Monitoring Environment for Fortran OpenMP Programs
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
Edmond Kereku, Tianchao Li, Michael Gerndt, Josef ...