1888 search results - page 29 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
108
click to vote
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
149
click to vote
DSOM
2006
Springer
15 years 6 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
109
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
System on Devices (SyD) is a specification for a middleware to enable heterogeneous collections of information, databases, or devices (such as hand-held devices) to collaborate wi...
111
click to vote
CORR
2010
Springer
15 years 24 days 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...
125
click to vote
ENTCS
2006
15 years 2 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...