Sciweavers

3706 search results - page 120 / 742
» OntoComP System Description
Sort
View
133
Voted
RE
2006
Springer
15 years 4 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
150
Voted
SIMPRA
1998
99views more  SIMPRA 1998»
15 years 4 months ago
Extension software for real-time control system design and implementation with MATLAB-SIMULINK
The paper deals with a unified environment for the design and implementation of control schemes. The widely used MATLAB-SIMULINK is used for control scheme description. The imple...
Borut Zupancic
168
Voted
EMSOFT
2001
Springer
15 years 9 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
AICS
2009
15 years 2 months ago
An Evaluation of the GhostWriter System for Case-Based Content Suggestions
The Web has many sites where users can exchange goods and services. Often, the end-users must write free-text descriptions of the goods and services they have available, or the goo...
Aidan Waugh, Derek G. Bridge
EWSA
2006
Springer
15 years 8 months ago
Modes for Software Architectures
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebasti&aacut...