5838 search results - page 148 / 1168 » A File System for System Programming in Ubiquitous Computing |
133
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
134
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Motivated by the real-world application of categorizing system log messages into defined situation categories, this paper describes an interactive text categorization method, PICC...
135
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
127
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Research in Ambient Intelligence and Ubiquitous Computing has put computational devices into many social settings while leaving intact much of the "task support and informati...
112
click to vote
USENIX
2001
15 years 4 months ago
2001
Users frequently have to choose between functionality and security. When running popular Web browsers or email clients, they frequently find themselves turning off features such a...