6528 search results - page 905 / 1306 » On the architecture of software component systems |
162
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Building Automation Systems (BASs) can save building owners money by reducing energy consumption while simultaneously preserving occupant comfort. There are algorithms that optimi...
190
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
220
click to vote
VLSID
2003
IEEE
16 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
196
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
177
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
- In this paper, we describe the mechanical design, system integration and dynamic walking of the humanoid, KHR-2 (KAIST Humanoid Robot–2). KHR-2 has 41 DOFs in total, that allow...