4099 search results - page 625 / 820 » A Framework for Interactive Proof |
122
Voted
DSN
2008
IEEE
15 years 11 months 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 ...
141
Voted
HICSS
2008
IEEE
15 years 11 months 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...
ICIW
2008
IEEE
15 years 11 months 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...
112
click to vote
ICTAI
2008
IEEE
15 years 11 months 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...
166
click to vote
IEEESCC
2008
IEEE
15 years 11 months 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...