4799 search results - page 380 / 960 » Model Based Requirements Engineering for Embedded Software |
188
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
173
Voted
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
184
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
184
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
200
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: We present a probabilistic topic-based model for content similarity called pmra that underlies the related article search feature in PubMed. Whether or not a document ...