12289 search results - page 488 / 2458 » computing 2006 |
141
click to vote
IPL
2006
15 years 6 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
138
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
183
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
159
click to vote
FCS
2006
15 years 8 months ago
2006
Abstract: In recent works for high performance computing, computation with DNA molecules, that is, DNA computing, has had considerable attention as one of non-silicon based computi...
174
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Security and privacy in RFID systems is an important and active research area. A number of challenges arise due to the extremely limited computational, storage and communication a...