2951 search results - page 418 / 591 » Trustable Task Processing Systems |
167
click to vote
AH
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
159
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
The configuration of systems engineering methods is a challenging task. As a method engineer it is essential to have conceptual constructs capable of reducing the burden of details...
178
click to vote
OTM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
157
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...
164
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...