1888 search results - page 268 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
232
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
179
Voted
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
138
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
146
click to vote
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...