Sciweavers

9504 search results - page 4 / 1901
» Dynamic Substitution Model
Sort
View
SIGSOFT
2005
ACM
14 years 6 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
INTERACT
2007
13 years 7 months ago
Ubiquitous Substitution
Abstract. Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, ...
Christina Brodersen, Susanne Bødker, Clemen...
IPPS
2003
IEEE
13 years 11 months ago
MIP Formulation for Robust Resource Allocation in Dynamic Real-Time Systems
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
Sethavidh Gertphol, Viktor K. Prasanna