Sciweavers

1969 search results - page 140 / 394
» Incremental Processing and Acceptability
Sort
View
ECOOP
2007
Springer
16 years 17 days ago
Characteristics of Runtime Program Evolution
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
Mario Pukall, Martin Kuhlemann
POLICY
2007
Springer
16 years 15 days ago
Performance Evaluation of Privacy-Preserving Policy Reconciliation Protocols
The process of policy reconciliation allows multiple parties with possibly different policies to resolve differences in order to reach an agreement on an acceptable policy. Previo...
Jonathan Voris, Sotiris Ioannidis, Susanne Wetzel,...
IPPS
2005
IEEE
15 years 12 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
ICA
2004
Springer
15 years 11 months ago
Blind Source Separation Using the Block-Coordinate Relative Newton Method
Presented here is a generalization of the modified relative Newton method, recently proposed in [1] for quasi-maximum likelihood blind source separation. Special structure of the ...
Alexander M. Bronstein, Michael M. Bronstein, Mich...
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 11 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford