Sciweavers

545 search results - page 6 / 109
» On the design of a pervasive debugger
Sort
View
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
14 years 2 days ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
PERCOM
2004
ACM
14 years 7 months ago
Agile Middleware of Pervasive Computing Environments
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
Eila Niemelä, Teemu Vaskivuo
DIMEA
2008
182views Multimedia» more  DIMEA 2008»
13 years 9 months ago
Achieving pervasive awareness through artwork
Aesthetics and ludic aspects of pervasive awareness applications make the awareness system more attractive and aesthetically pleasing to its users. The same objective can be achie...
Salah Uddin Ahmed
IE
2007
13 years 9 months ago
Place as media in pervasive games
By blurring the boundary between game fiction and reality, Pervasive Games impact the shared space of the city areas that they use as gaming platform. Drawing on notions of spatia...
Hugh Davies
PERCOM
2004
ACM
14 years 7 months ago
Models, Protocols, and Architectures for Secure Pervasive Computing: Challenges and Research Directions
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
Roshan K. Thomas, Ravi S. Sandhu