5863 search results - page 929 / 1173 » On Model-Checking of P Systems |
154
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
158
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The explosion of the amount of information available in digital form has made search a hot research topic for the Information Management Community. While most of the research on s...
191
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
Distributed compression is particularly attractive for stereo images since it avoids communication between cameras. Since compression performance depends on exploiting the redunda...
163
click to vote
WISEC
2010
ACM
16 years 1 months ago
2010
ACM
We propose a novel trap-based architecture for enterprise networks that detects “silent” attackers who are eavesdropping network traffic. The primary contributions of our work...
168
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...