Sciweavers

21324 search results - page 160 / 4265
» Making the case for computing
Sort
View
ICCBR
2007
Springer
15 years 9 months ago
Prototypical Cases for Knowledge Maintenance in Biomedical CBR
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
Isabelle Bichindaritz
108
Voted
SAFECOMP
2004
Springer
15 years 8 months ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
154
Voted
ICST
2010
IEEE
15 years 1 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
IEAAIE
2009
Springer
15 years 1 months ago
Constructing Decisional DNA on Renewable Energy: A Case Study
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...
Cesar Sanín, Edward Szczerbicki
135
Voted
EPK
2006
118views Management» more  EPK 2006»
15 years 4 months ago
Transformation of Use Cases to EPC Models
: Within the requirements phase of many projects, functional requirements are often documented as Use Cases. Within SOA projects, however, these Use Cases are not sufficient since ...
Daniel Lübke