2875 search results - page 388 / 575 » Using separation of concerns for embedded systems design |
EWSA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
94
Voted
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
Assigning an application’s fault-tolerance properties (e.g., replication style, checkpointing frequency) statically, and in an arbitrary manner, can lead to the application not ...
ICUMT
2009
14 years 8 months ago
2009
The work addresses the problem of coping with a diversity of location tracking techniques available in ubiquitous computing environments. We investigate how this diversity can be e...
93
Voted
MMAS
2004
Springer
15 years 3 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
76
Voted
EMSOFT
2008
Springer
14 years 12 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...