4799 search results - page 587 / 960 » Model Based Requirements Engineering for Embedded Software |
202
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
193
Voted
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
168
click to vote
E4MAS
2005
Springer
16 years 9 days ago
2005
Springer
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...
233
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
189
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
A common computational model in distributed embedded systems is that the nodes exchange signals via a network. Most often a signal represents the state of some physical device and...