1660 search results - page 115 / 332 » Abstract Application Modeling for System Design Space Explor... |
134
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
185
click to vote
TEI
2012
ACM
13 years 11 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
139
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context information and adapting systems behavior accordingly. Sev...
142
click to vote
IUI
1999
ACM
15 years 8 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
138
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...