15885 search results - page 2390 / 3177 » Strategic Software Engineering |
180
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
Multi-touch displays are particularly attractive for collaborative work because multiple users can interact with applications simultaneously. However, unfettered access can lead t...
214
Voted
UIST
2010
ACM
15 years 5 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
220
click to vote
UIST
2010
ACM
15 years 5 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...
178
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
235
click to vote
WCET
2010
15 years 5 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...