310 search results - page 20 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
ICSR
2011
Springer
12 years 11 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
PADS
2006
ACM
14 years 1 months ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
FATES
2003
Springer
14 years 25 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
JMS
2010
13 years 2 months ago
2010
In this paper, we established a newborn screening system under the HL7/Web Services frameworks. We rebuilt the NTUH Newborn Screening Laboratory's original standalone architec...