Sciweavers

391 search results - page 27 / 79
» Domain engineered configuration control
Sort
View
KBSE
1999
IEEE
14 years 29 days ago
Controlled Natural Language Can Replace First-Order Logic
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
Norbert E. Fuchs, Uta Schwertel, Sunna Torge
SE
2008
13 years 10 months ago
TIME - Tracking Intra- and Inter-Model Evolution
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
Maximilian Kögel
AOSE
2000
Springer
14 years 1 months ago
On the Identification of Agents in the Design of Production Control Systems
This paper describes a methodology that is being developed for designing and building agent-based systems for the domain of production control. In particular, this paper deals with...
Stefan Bussmann, Nicholas R. Jennings, Michael Woo...
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
14 years 28 days ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski
WISA
2004
Springer
14 years 2 months ago
Inconsistency Detection of Authorization Policies in Distributed Component Environment
In distributed component environment, a Role-Based Access Control (RBAC) server manages all authorization policies of components in the same domains whereas the components are dist...
Chang-Joo Moon, Hoh Peter In