4099 search results - page 625 / 820 » A Framework for Interactive Proof |
146
click to vote
DSN
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
161
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...
122
click to vote
ICIW
2008
IEEE
16 years 28 days ago
2008
IEEE
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...
146
click to vote
ICTAI
2008
IEEE
16 years 27 days ago
2008
IEEE
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...
201
click to vote
IEEESCC
2008
IEEE
16 years 27 days ago
2008
IEEE
Service Oriented Architectures (SOAs) have emerged as a preferred solution to tackle the complexity of large-scale, complex, distributed, and heterogeneous systems. Key to success...