596 search results - page 95 / 120 » A Software Engineering Framework for Context-Aware Pervasive... |
PPPJ
2009
ACM
15 years 4 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
100
click to vote
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
74
Voted
AVI
2006
14 years 11 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...