2493 search results - page 484 / 499 » Tool Support for Design by Contract |
SENSYS
2009
ACM
14 years 3 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
SenseCam is an automatic wearable camera, often seen as a tool for the creation of digital memories. In this paper, we report findings from a field trial in which SenseCams were w...
DOCENG
2009
ACM
14 years 3 months ago
2009
ACM
The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal coll...