2482 search results - page 186 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
154
click to vote
MFCS
1994
Springer
15 years 6 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
124
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
105
click to vote
WSC
2004
15 years 3 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
130
click to vote
VAMOS
2008
Springer
15 years 3 months ago
2008
Springer
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
109
click to vote
ENTCS
2006
15 years 2 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...