3792 search results - page 603 / 759 » Techniques for Trusted Software Engineering |
162
click to vote
UIST
2006
ACM
16 years 1 months ago
2006
ACM
We propose WindowScape, a window manager that uses a photograph metaphor for lightweight, post hoc task management. This is the first task management windowing model to provide in...
178
click to vote
UIST
2005
ACM
16 years 18 days ago
2005
ACM
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
218
Voted
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
187
click to vote
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
171
click to vote
FOSSACS
2005
Springer
16 years 17 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...