4516 search results - page 163 / 904 » Automated System Design for Availability |
126
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
141
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
134
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
131
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
An exciting trend in enterprise computing lies in the integration of applications across an organisation and even between organisations. This allows the provision of services by a...
153
click to vote
EWCBR
1998
Springer
15 years 8 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...