Sciweavers

1811 search results - page 254 / 363
» Facilitation, Systems, and Users: The Complete Socio-Technic...
Sort
View
ICEIS
2008
IEEE
14 years 2 months ago
Tool Support for the Integration of Light-Weight Ontologies
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
Thomas Heer, Daniel Retkowitz, Bodo Kraft
ICDCSW
2007
IEEE
14 years 2 months ago
Context to Make You More Aware
The goal of our work is to help users make more informed choices about what physical activities they undertake. One example is to provide relevant information to help someone choo...
Adrienne H. Andrew, Yaw Anokwa, Karl Koscher, Jona...
CRYPTO
2007
Springer
145views Cryptology» more  CRYPTO 2007»
14 years 2 months ago
Chernoff-Type Direct Product Theorems
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
Russell Impagliazzo, Ragesh Jaiswal, Valentine Kab...
PPOPP
2006
ACM
14 years 2 months ago
Predicting bounds on queuing delay for batch-scheduled parallel machines
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. In many cases, users wishi...
John Brevik, Daniel Nurmi, Richard Wolski
ICTAI
1993
IEEE
14 years 9 days ago
Concrete Browsing of a Graphical Toolkit Library
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
Denys Duchier