Sciweavers

4959 search results - page 428 / 992
» Evolution maps and applications
Sort
View
EMISA
2004
Springer
16 years 14 days ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
EWSA
2004
Springer
16 years 14 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
FSTTCS
2004
Springer
16 years 14 days ago
A Calculus for Trust Management
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
ICCS
2004
Springer
16 years 14 days ago
Rule-Based Visualization in a Computational Steering Collaboratory
Abstract. In this paper, we introduce the concept of rule-based visualization for a computational steering collaboratory and show how these rules can be used to steer the behaviors...
Lian Jiang, Hua Liu, Manish Parashar, Deborah Silv...
ICSM
2003
IEEE
16 years 11 days ago
Towards a Versioning Model for Component-based Software Assembly
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
Jaroslav Gergic