Sciweavers

6474 search results - page 198 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 10 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
HICSS
2005
IEEE
146views Biometrics» more  HICSS 2005»
16 years 3 days ago
Open Source Enterprise Systems: Towards a Viable Alternative
Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation...
Alexander Dreiling, Helmut Klaus, Michael Rosemann...
WWW
2006
ACM
16 years 7 months ago
A decentralized CF approach based on cooperative agents
In this paper, we propose a decentralized collaborative filtering (CF) approach based on P2P overlay network for the autonomous agents' environment. Experiments show that our...
Byeong Man Kim, Qing Li, Adele E. Howe
WWW
2003
ACM
16 years 7 months ago
KAON SERVER - A Semantic Web Management System
The growing use of ontologies in applications creates the need for an infrastructure that allows developers to more easily combine different software modules like ontology stores,...
Raphael Volz, Daniel Oberle, Steffen Staab, Boris ...
RE
2006
Springer
15 years 6 months ago
Requirement Progression in Problem Frames Applied to a Proton Therapy System
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
Robert Seater, Daniel Jackson