2836 search results - page 516 / 568 » Model Checking for Software Architectures |
147
click to vote
AI50
2006
15 years 6 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...
126
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
118
Voted
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
143
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
120
Voted
ICAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...