393 search results - page 77 / 79 » Language and Compiler Support for Adaptive Applications |
DAGSTUHL
2003
13 years 8 months ago
2003
The domain of services for mobile communication terminals has long become a fast-moving target. Indeed, this domain has been affected by a continuous stream of technological advan...
STTT
2010
13 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
ICAS
2008
IEEE
14 years 1 months ago
2008
IEEE
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...
BMCBI
2007
13 years 7 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...