162 search results - page 9 / 33 » Coordination Models Based on a Formal Model of Distributed O... |
116
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
123
Voted
EDO
2000
Springer
15 years 6 months ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
164
Voted
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 4 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
146
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a method for solving the global illumination problem for synthetic diffuse objects. The approach generates realistic shading for applications where a synthetic object i...
112
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...