273 search results - page 13 / 55 » Towards safer composition |
67
Voted
ICETE
2009
14 years 9 months ago
2009
ISER
1995
Springer
15 years 3 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
15 years 5 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
15 years 5 months 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 ...
164
click to vote
NADA
1998
Springer
15 years 4 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...