Sciweavers

7811 search results - page 416 / 1563
» computer 2004
Sort
View
PERCOM
2004
ACM
16 years 6 months ago
Towards a Theory of Context Spaces
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky
PERCOM
2004
ACM
16 years 6 months ago
Towards Context-aware Security: An Authorization Architecture for Intranet Environments
This paper introduces a context-aware authorization architecture that is designed to augment existing network security protocols in an Intranet environment. It describes the archi...
Chris Wullems, Mark Looi, Andrew Clark
ASPDAC
2004
ACM
72views Hardware» more  ASPDAC 2004»
16 years 5 days ago
Exploiting state encoding for invariant generation in induction-based property checking
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
NORDICHI
2004
ACM
16 years 5 days ago
A comparison of two input methods for keypads on mobile devices
Two mobile device text entry methods were evaluated. The well-known Multitap method was compared to our RollPad method on a new device utilizing a tactile touchpad in place of a k...
Aleks Oniszczak, I. Scott MacKenzie
AMAI
2004
Springer
16 years 4 days ago
The Expressive Rate of Constraints
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
Hubie Chen