7209 search results - page 626 / 1442 » Software Engineering for Multi-Agent Systems |
129
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
149
click to vote
WCRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
152
Voted
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
128
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
142
click to vote
APSEC
1997
IEEE
15 years 9 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...