1938 search results - page 27 / 388 » Dependable Software |
EUROMICRO
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
COMPSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
INFSOF
2008
13 years 11 months ago
2008
When software development teams modify their requirements engineering process as an independent variable, they often examine the implications of these process changes by assessing...
EUROMICRO
2011
IEEE
12 years 10 months ago
2011
IEEE
Sensornets are being widely proposed as a solution technology in a wide number of applications, e.g. health care. As part of this work some key challenges for the safety and senso...