4099 search results - page 725 / 820 » A Framework for Interactive Proof |
124
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
162
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
128
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
159
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
152
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...