779 search results - page 96 / 156 » An Asynchronous Distributed Component Model and Its Semantic... |
125
Voted
ENTCS
2008
15 years 2 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
121
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
137
click to vote
FUIN
2006
15 years 1 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
111
click to vote
DM
2008
15 years 2 months ago
2008
Abstract. The web graph is a real-world self-organizing network whose vertices correspond to web pages, and whose edges correspond to links between pages. Many stochastic models fo...
116
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...