Sciweavers

2266 search results - page 43 / 454
» A generic component model for building systems software
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 4 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
FTDCS
2003
IEEE
15 years 3 months ago
Dynamic Component Composition for Functionality Adaptation in Pervasive Environments
With the increasing prevalence of mobile devices, computing is being carried out on devices with varied resource constraints and is afflicted by constant changes in run-time conte...
Nalini Moti Belaramani, Cho-Li Wang, Francis C. M....
WSC
2000
14 years 11 months ago
Simulation in a box: a generic reusable maintenance model
Simulation models can be time-consuming to build and often multiple models are built to simulate similar systems that have small differences. While developing a model to evaluate ...
Nancy Brown, Steve Powers
NAACL
1994
14 years 11 months ago
Recent Developments in the Experimental "WAXHOLM" Dialog System
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
Rolf Carlson
DFG
2004
Springer
15 years 1 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...