228 search results - page 33 / 46 » A Model-Checking Approach for Service Component Architecture... |
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
CONCURRENCY
2007
14 years 11 months ago
2007
Component frameworks, including those that support the Common Component Architecture (CCA), represent a promising approach to addressing this challenge, one that is being realized...
103
click to vote
NSDI
2004
15 years 1 months ago
2004
We present a new approach to managing failures and evolution in large, complex distributed systems using runtime paths. We use the paths that requests follow as e through the syst...