3161 search results - page 303 / 633 » Documenting framework behavior |
167
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
138
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...
158
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
170
click to vote
HT
2006
ACM
16 years 21 days ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...
182
click to vote
RTAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this work, we first present an application-initiated strategy that aims to control the energy consumption, while simultaneously enhancing the performance of a heterogeneous emb...