5171 search results - page 347 / 1035 » Deterministic Parallel Processing |
137
click to vote
JCSS
2008
15 years 3 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
136
Voted
ENTCS
1998
15 years 3 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
122
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
The fine-grained parallelism inherent in FPGAs has encouraged their use in packet processing systems. Debugging and performance evaluation of such complex designs can be signifi...
123
click to vote
OTM
2009
Springer
15 years 10 months ago
2009
Springer
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
119
Voted
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper presents a requirements analysis and a solution approach to representing workflow processes conforming to the Wf-XML/ASAP standard proposal in a UDDI registry. Wf-X...