8623 search results - page 1412 / 1725 » Software engineering for secure systems |
153
click to vote
QOSA
2010
Springer
15 years 4 months ago
2010
Springer
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
172
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We describe techniques for direct pen+touch input. We observe people's manual behaviors with physical paper and notebooks. These serve as the foundation for a prototype Micro...
196
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we introduce tag expression, a novel form of preference elicitation that combines elements from tagging and rating systems. Tag expression enables users to apply aff...
213
click to vote
WCET
2010
15 years 4 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
187
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...