1784 search results - page 193 / 357 » Formal Models for Embedded System Design |
91
Voted
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
105
Voted
DAC
2003
ACM
15 years 11 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
AICCSA
2006
IEEE
15 years 4 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
118
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
ASIAN
2005
Springer
15 years 3 months ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...