1234 search results - page 191 / 247 » Organizational Abstractions for Adaptive Systems |
116
click to vote
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Developing distributed multiplayer games for ad-hoc networks is challenging. Consistency of the replicated shared state is hard to ensure at a low cost. Current consisten...
172
click to vote
IUI
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
109
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
FLAIRS
2001
15 years 1 months ago
2001
To successfully interact with users in providing useful information, intelligent user interfaces need a mechanism for recognizing, characterizing, and predicting user actions. In ...
110
click to vote
STTT
2010
14 years 10 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...