Sciweavers

784 search results - page 102 / 157
» Integration of Task and Data Parallelism: A Coordination-Bas...
Sort
View
NBIS
2009
Springer
15 years 6 months ago
A Survey of Security Middleware for Pervasive and Ubiquitous Systems
- Recently, pervasive and ubiquitous computing evolved tremendously and has become an integral part of many fields. This is widely attributed to their efficiency in integrating wit...
Jameela Al-Jaroodi, Alyaziyah Al-Dhaheri, Fatmah A...
IV
2005
IEEE
121views Visualization» more  IV 2005»
15 years 5 months ago
PlanningLines: Novel Glyphs for Representing Temporal Uncertainties and Their Evaluation
Dealing with temporal uncertainties is a key issue in domains like project management or medical treatment planning. However, support for temporal indeterminacies is not very well...
Wolfgang Aigner, Silvia Miksch, Bettina Thurnher, ...
AIR
2006
46views more  AIR 2006»
14 years 12 months ago
Spatial inference with geometric proportional analogies
Abstract We describe an instance-based reasoning solution to a variety of spatial reasoning problems. The solution centers on identifying an isomorphic mapping between labelled gra...
Emma-Claire Mullally, Diarmuid P. O'Donoghue
SIAMSC
2011
85views more  SIAMSC 2011»
14 years 2 months ago
Refinement and Connectivity Algorithms for Adaptive Discontinuous Galerkin Methods
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...
Kolja Brix, Ralf Massjung, Alexander Voss
ICS
2010
Tsinghua U.
15 years 9 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer