273 search results - page 13 / 55 » Towards safer composition |
ICETE
2009
13 years 5 months ago
2009
ISER
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we discuss a robotic task requiring dynamicalsafety in the face of an intermittent environment. We define and offer examples of this notion. We then construct a dyna...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
ICSR
2004
Springer
14 years 28 days ago
2004
Springer
In component-based product populations, variability has to be described at the component level to be able to benefit from a product family approach. As a consequence, composition ...
NADA
1998
Springer
13 years 11 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...