596 search results - page 95 / 120 » A Software Engineering Framework for Context-Aware Pervasive... |
120
click to vote
PPPJ
2009
ACM
15 years 8 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 ...
134
Voted
WCRE
2002
IEEE
15 years 6 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...
95
Voted
ESEC
1999
Springer
15 years 6 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...
108
Voted
AVI
2006
15 years 3 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...
145
Voted
ICST
2009
IEEE
14 years 11 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)...