221 search results - page 8 / 45 » Consistent Graphical Specification of Distributed Systems |
85
Voted
FM
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
EDO
2000
Springer
15 years 3 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
95
Voted
SI3D
1995
ACM
15 years 3 months ago
1995
ACM
This paper describes the client-server design, implementation and experimental results for a system that supports real-time visual interaction between a large number of users in a...
105
Voted
EDBT
2000
ACM
15 years 3 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
85
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...