6303 search results - page 411 / 1261 » A Generated Management for Distributed Systems |
165
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
165
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
A broad range of industries must be able to seamlessly integrate control applications using sensors distributed in the real world and IT applications supporting various business a...
217
click to vote
NPC
2005
Springer
16 years 8 days ago
2005
Springer
The Globus Toolkit (GT) has been developed since the late 1990s to support the development of service-oriented distributed computing applications and infrastructures. Core GT compo...
168
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...
182
click to vote
IDEAS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...