Sciweavers

1067 search results - page 114 / 214
» An Autonomic Context Management System for Pervasive Computi...
Sort
View
GPC
2009
Springer
15 years 9 months ago
G2G: A Meta-Grid Framework for the Convergence of P2P and Grids
Grid systems integrate distributed resources to form self-organization and self-management autonomies. Recently, for large-scale computation requirement, the collaboration of diffe...
Wu-Chun Chung, Chin-Jung Hsu, Yi-Shiang Lin, Kuan-...
MOBIDE
2006
ACM
15 years 12 months ago
Towards correcting input data errors probabilistically using integrity constraints
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
Nodira Khoussainova, Magdalena Balazinska, Dan Suc...
SPIN
1999
Springer
15 years 10 months ago
Model Checking for Managers
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...
SOUPS
2010
ACM
15 years 10 months ago
Optimizing a policy authoring framework for security and privacy policies
Policies which address security and privacy are pervasive parts of both technical and social systems, and technology to enable both organizations and individuals to create and man...
Maritza Johnson, John Karat, Clare-Marie Karat, Ke...
GECCO
2009
Springer
193views Optimization» more  GECCO 2009»
15 years 10 months ago
Optimization of dynamic memory managers for embedded systems using grammatical evolution
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
José L. Risco-Martín, David Atienza,...