5838 search results - page 722 / 1168 » A File System for System Programming in Ubiquitous Computing |
184
click to vote
CACM
2010
15 years 7 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
298
Voted
EICS
2011
ACM
14 years 10 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
178
click to vote
ICTAC
2005
Springer
16 years 11 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
146
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...
187
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...