9166 search results - page 253 / 1834 » A framework for comparing models of computation |
137
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
322
click to vote
VLDB
2006
ACM
16 years 4 months ago
2006
ACM
k-anonymity provides a measure of privacy protection by preventing re-identification of data to fewer than a group of k data items. While algorithms exist for producing k-anonymous...
124
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
152
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
162
click to vote
BCSHCI
2008
15 years 5 months ago
2008
Multimodal interfaces have long held the promise of enhanced and effective human machine interaction. The ultimate goal of multimodal interfaces is to facilitate human activity al...