Sciweavers

4469 search results - page 796 / 894
» A Language for Role Specifications
Sort
View
DSVIS
2006
Springer
15 years 8 months ago
Visual Design of User Interfaces by (De)composition
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
Sophie Lepreux, Jean Vanderdonckt, Benjamin Michot...
IWMM
2010
Springer
125views Hardware» more  IWMM 2010»
15 years 8 months ago
Efficient memory shadowing for 64-bit architectures
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 7 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
153
Voted
ETFA
2008
IEEE
15 years 7 months ago
Hardware acceleration for verifiable, adaptive real-time communication
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
Sebastian Fischmeister, Insup Lee, Robert Trausmut...
AAAI
2010
15 years 7 months ago
Multi-Task Active Learning with Output Constraints
Many problems in information extraction, text mining, natural language processing and other fields exhibit the same property: multiple prediction tasks are related in the sense th...
Yi Zhang 0010