285 search results - page 54 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
MIDDLEWARE
2009
Springer
15 years 4 months ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
116
click to vote
ISCA
2011
IEEE
14 years 1 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
90
Voted
HPDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...
100
Voted
HPCC
2009
Springer
14 years 7 months ago
2009
Springer
Abstract--The Grid is an heterogeneous and dynamic environment which enables distributed computation. This makes it a technology prone to failures. Some related work uses replicati...