Sciweavers

612 search results - page 67 / 123
» Division for Foundation of Software
Sort
View
CBSE
2004
Springer
15 years 9 months ago
Strategies for a Component-Based Self-adaptability Model in Peer-to-Peer Architectures
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...
Sascha Alda, Armin B. Cremers
ICCBSS
2004
Springer
15 years 9 months ago
A Wish List for Requirements Engineering for COTS-Based Information Systems
This paper summarizes the main achievements of a research whose main goal was to investigate the current state-of-art in the field of requirements engineering for COTS-based system...
Vito Perrone
ISORC
2003
IEEE
15 years 9 months ago
Basic Program Structures for Avoiding Priority Inversions
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
K. H. Kim
AMKM
2003
Springer
15 years 9 months ago
Towards Evaluation of Peer-to-Peer-Based Distributed Knowledge Management Systems
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
Marc Ehrig, Christoph Schmitz, Steffen Staab, Juli...
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra