3754 search results - page 475 / 751 » Process modeling paradigms: an evaluation |
214
click to vote
ICN
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we describe and evaluate a scalable network of Active Elements (AE) that implements userempowered virtual-multicast overlay network for synchronous data distributio...
190
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, numerical calculation schemes of the buffer occupation probability for a buffer which is fed by a large number of independent and stationary sources are evaluate...
222
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
191
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
200
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a Dynamically Reconfigurable Processor Array (DRPA) generator which can generate various types of DRPAs. Our target DRPA architecture is fully parameter...