Sciweavers

55 search results - page 3 / 11
» scp 2008
Sort
View
SCP
2010
92views more  SCP 2010»
13 years 3 months ago
Robustness testing for software components
Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisse...
SCP
2008
64views more  SCP 2008»
13 years 5 months ago
Design and verification of long-running transactions in a timed framework
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...
SCP
2008
66views more  SCP 2008»
13 years 5 months ago
Characterizing navigation maps for web applications with the NMM approach
Antonio Navarro, Alfredo Fernández-Valmayor...
SCP
2002
52views more  SCP 2002»
13 years 4 months ago
Component-based software architectures: a framework based on inheritance of behavior
Wil M. P. van der Aalst, Kees M. van Hee, Robert A...
SCP
2002
59views more  SCP 2002»
13 years 4 months ago
The universal resolving algorithm and its correctness: inverse computation in a functional language
We present an algorithm for inverse computation in a
Sergei M. Abramov, Robert Glück