5228 search results - page 714 / 1046 » Case Studies for Software Engineers |
164
click to vote
IOLTS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper investigates the behavior of the IEEE 1394 bus in the presence of transient errors in the hardware layers of the protocol. Software-implemented error injection is used ...
192
click to vote
ICCBSS
2003
Springer
16 years 1 days ago
2003
Springer
Among the main activities involved in COTS-based development there are identification, evaluation, and selection of COTS products. Several techniques have been developed for these ...
186
click to vote
ENTCS
2010
15 years 4 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
183
click to vote
STTT
2010
15 years 1 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
210
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...