6239 search results - page 1152 / 1248 » From Zinc to Design Model |
108
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
115
Voted
MOBISYS
2010
ACM
15 years 3 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
109
click to vote
BCSHCI
2007
15 years 2 months ago
2007
The present study explores potential usability gaps when users switch from a familiar to an unfamiliar mobile phone interface. A within-subject experiment was performed in which n...
116
Voted
IADIS
2004
15 years 2 months ago
2004
Most Internet services rely on the traditional client-server model, where the quality of services usually depends on the performance of those servers. In this paper, we propose a ...
150
click to vote
ICETE
2004
15 years 2 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...