3801 search results - page 551 / 761 » An Approach to Modeling Software Safety |
151
click to vote
APSEC
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
178
click to vote
COMPSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...
178
click to vote
COMPSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
207
click to vote
VL
2005
IEEE
16 years 4 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
194
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...