9521 search results - page 418 / 1905 » Compiling with continuations, continued |
159
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
172
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
131
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...
155
click to vote
CIS
2008
Springer
15 years 6 months ago
2008
Springer
Delivering continuous services in information infrastructures is a major challenge. For system or network administrators, redundancy allocation is one of the best strategies to en...