Sciweavers

1090 search results - page 69 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
EMISAIJ
2010
13 years 3 months ago
The Proviado Access Control Model for Business Process Monitoring Components
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
Manfred Reichert, Sarita Bassil, Ralph Bobrik, Tho...
MSR
2006
ACM
14 years 3 months ago
Concern based mining of heterogeneous software repositories
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
Imed Hammouda, Kai Koskimies
CAV
2010
Springer
173views Hardware» more  CAV 2010»
14 years 12 days ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
CDC
2008
IEEE
130views Control Systems» more  CDC 2008»
14 years 3 months ago
Extension and application of a novel hardware-in-the-loop simulator design methodology
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
Monte Stuart MacDiarmid, Marko Bacic, Ronald Danie...
ITCC
2005
IEEE
14 years 2 months ago
An Aspect-Oriented Approach to Mobile Agent Access Control
This paper presents an aspect-oriented approach to access control in mobile agent systems, where a multipoint security check mechanism visualizes the services of a host as individ...
Dianxiang Xu, Vivek Goel