875 search results - page 23 / 175 » A New Approach for Testing Properties of Discrete Distributi... |
162
click to vote
JIT
2004
Springer
15 years 9 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
134
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
147
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
118
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
160
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We present a new method to simulate optical waves in large geometries. This method is based on newly developed finite elements, so-called Trigonometric Finite Wave Elements (TFWEs)...