652 search results - page 7 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
FGCN
2008
IEEE
15 years 6 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
ATAL
1997
Springer
15 years 3 months ago
1997
Springer
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
94
Voted
ICSE
1995
IEEE-ACM
15 years 3 months ago
1995
IEEE-ACM
This paper addresses the question of whether the reverse engineering of legacy systems is doomed to failure. Our position is that the answer is highly dependent on the specific go...
111
Voted
IHI
2010
14 years 6 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
107
Voted
IJSEKE
2006
14 years 11 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...