Sciweavers

3717 search results - page 10 / 744
» Architecture-Based Design of Computer Based Systems
Sort
View
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
14 years 23 days ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
MEMOCODE
2003
IEEE
14 years 22 days ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
AOSE
2004
Springer
14 years 26 days ago
A Design Process for Adaptive Behavior of Situated Agents
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande ...
MOBISYS
2008
ACM
13 years 9 months ago
Chameleon: a capability adaptation system for interface virtualization
As computing capabilities of embedded devices increase, services such as Internet and multimedia are comportably supported by such devices. Users may demand for migrating services...
Sang-Bum Suh, Xiang Song, Jatin Kumar, Dushmanta M...
HPDC
2005
IEEE
14 years 1 months ago
Design and implementation tradeoffs for wide-area resource discovery
This paper describes the design and implementation of SWORD, a scalable resource discovery service for widearea distributed systems. In contrast to previous systems, SWORD allows ...
David L. Oppenheimer, Jeannie R. Albrecht, David A...