2015 search results - page 332 / 403 » Some Observations on Indifferentiability |
105
click to vote
CANDT
2009
15 years 3 months ago
2009
HCI, CSCW, and ubicomp researchers have developed new technologies and interaction techniques to support collaboration, ranging from electronic whiteboards to software supporting ...
121
click to vote
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
114
click to vote
CGO
2006
IEEE
15 years 3 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
101
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
116
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...