Sciweavers

28 search results - page 5 / 6
» ercim 2008
Sort
View
ERCIM
2007
73views more  ERCIM 2007»
13 years 7 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
ERCIM
2007
54views more  ERCIM 2007»
13 years 7 months ago
The Impact of Systems Biology on the Digital Patient
Martin Reczko, Panayiota Poirazi, Anastasis Oulas,...
ERCIM
2007
125views more  ERCIM 2007»
13 years 7 months ago
Workflow Management Systems for Grid Computing
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
Carmen Bratosin, Wil M. P. van der Aalst
ERCIM
2008
78views more  ERCIM 2008»
13 years 7 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
ERCIM
2008
94views more  ERCIM 2008»
13 years 7 months ago
Model-Based Development of Distributed Embedded Real-Time Systems
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
Wolfgang Herzner, Martin Schlager, György Cse...