1098 search results - page 49 / 220 » System safety as an emergent property in composite systems |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
FTDCS
2004
IEEE
14 years 17 days ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
APN
2010
Springer
14 years 1 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...