285 search results - page 25 / 57 » Towards a Compositional Approach to the Design and Verificat... |
CUZA
2002
13 years 8 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
ICSE
2010
IEEE-ACM
14 years 14 days ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
TCBB
2008
13 years 8 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
CISIS
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...
SIGMOD
2001
ACM
14 years 8 months ago
2001
ACM
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...