9716 search results - page 77 / 1944 » The Case for Energy-Proportional Computing |
140
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
173
click to vote
ICCSA
2004
Springer
2004
Springer
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
15 years 11 months ago
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
172
click to vote
ASM
1998
ASM
15 years 10 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
158
click to vote
AFRIGRAPH
2009
ACM
16 years 26 days ago
2009
ACM
This paper investigates the digital reconstruction of destroyed buildings from small sets of old, uncalibrated photographs. The application domain is the heritage preservation of ...
151
click to vote
IEEESCC
2006
IEEE
16 years 11 days ago
2006
IEEE
Current business process development is a process that needs to apply software development principles and at the same time incorporate the special requirements of service oriented...