1395 search results - page 114 / 279 » Incremental Construction Approach for Distributed System Spe... |
WISE
2003
Springer
15 years 3 months ago
2003
Springer
Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers...
101
Voted
CUZA
2002
14 years 10 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...
108
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
64
Voted
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...