132 search results - page 17 / 27 » Composition of Path Transductions |
IEE
2010
13 years 7 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
AINA
2007
IEEE
14 years 18 days ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
JSW
2008
13 years 8 months ago
2008
Automatic discovery of semantic relations between resources is a key issue in Web-based intelligent applications such as document understanding and Web services. This paper explore...