Sciweavers

1890 search results - page 157 / 378
» A component model for building systems software
Sort
View
SEKE
2007
Springer
14 years 2 months ago
A Model-driven Approach to Architecting Secure Software
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chun...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 6 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CODES
1999
IEEE
14 years 18 days ago
System synthesis utilizing a layered functional model
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
Ingo Sander, Axel Jantsch
LCR
2000
Springer
140views System Software» more  LCR 2000»
13 years 12 months ago
An Infrastructure for Monitoring and Management in Computational Grids
We present the design and implementation of an infrastructure that enables monitoring of resources, services, and applications in a computational grid and provides a toolkit to hel...
Abdul Waheed, Warren Smith, Jude George, Jerry C. ...
ICFEM
2010
Springer
13 years 6 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton