2935 search results - page 183 / 587 » An Integrated Approach to High Integrity Software Verificati... |
186
click to vote
RTCSA
1998
IEEE
15 years 10 months ago
1998
IEEE
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
171
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...
172
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
180
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Certificate management infrastructure, a.k.a. PKI (Public Key Infrastructure), which issues and provides access to public key certificates to preserve the integrity of a public ke...
197
click to vote
FMOODS
2006
15 years 8 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...