Sciweavers

3224 search results - page 311 / 645
» Abstract Error Projection
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 6 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
GRID
2005
Springer
16 years 6 days ago
Policy administration control and delegation using XACML and Delegent
Abstract— In this paper we present a system permitting controlled policy administration and delegation using the XACML access control system. The need for these capabilities stem...
Ludwig Seitz, Erik Rissanen, Thomas Sandholm, Baba...
ICCS
2005
Springer
16 years 6 days ago
The Development of Dependable and Survivable Grids
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...
Andrew S. Grimshaw, Marty A. Humphrey, John C. Kni...
ICCS
2005
Springer
16 years 6 days ago
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Linxiang X. Wang, Roderick V. N. Melnik
ICCS
2005
Springer
16 years 6 days ago
Hierarchical Knowledge Integration Using Layered Conceptual Graphs
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
Madalina Croitoru, Ernesto Compatangelo, Chris Mel...