674 search results - page 44 / 135 » Toward Self-Stabilizing Operating Systems |
120
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...
121
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
106
click to vote
ENTCS
2008
15 years 3 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
227
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
141
click to vote
IEEESCC
2010
IEEE
15 years 7 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...