2838 search results - page 30 / 568 » Verifying Controlled Components |
EMISAIJ
2010
13 years 3 months ago
2010
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
CD
2004
Springer
14 years 2 months ago
2004
Springer
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
COORDINATION
2006
Springer
14 years 17 days ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...