Sciweavers

7527 search results - page 173 / 1506
» Design and implementation of the KioskNet system
Sort
View
ATAL
2005
Springer
15 years 12 months ago
From concepts to agents: towards a framework for multi-agent system modelling
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Richard Hill, Simon Polovina, Martin D. Beer
FORTE
2001
15 years 7 months ago
Implementing a Modal Logic over Data and Processes using XTL
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
Jeremy Bryans, Carron Shankland
VLSISP
2008
123views more  VLSISP 2008»
15 years 6 months ago
Implementation of a Coarse-Grained Reconfigurable Media Processor for AVC Decoder
ADRES (Architecture for Dynamically Reconfigurable Embedded Systems) is a templatized coarse-grained reconfigurable processor architecture. It targets at embedded applications whic...
Bingfeng Mei, Bjorn De Sutter, Tom Vander Aa, M. W...
SEUS
2007
IEEE
16 years 20 days ago
A Review on System Architectures for Sensor Fusion Applications
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
Wilfried Elmenreich
WOSS
2004
ACM
15 years 11 months ago
Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
Matthew J. Hawthorne, Dewayne E. Perry