3792 search results - page 603 / 759 » Techniques for Trusted Software Engineering |
147
click to vote
UIST
2006
ACM
16 years 15 days 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...
159
click to vote
UIST
2005
ACM
16 years 3 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...
197
click to vote
EMSOFT
2005
Springer
16 years 2 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...
170
click to vote
EMSOFT
2005
Springer
16 years 2 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 ...
155
click to vote
FOSSACS
2005
Springer
16 years 2 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...