2171 search results - page 225 / 435 » A Generic Process Algebra |
209
click to vote
ATMN
1997
15 years 5 months ago
1997
In this paper we study the correlation structure of the output process of an ATM multiplexer. We consider two special cases : (i) the output process of the D-BMAP/D/1/N queue, a g...
227
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
150
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
As part of the European PROLIX (Process Oriented Learning and Information eXchange) project, VUB STARLab designed a generic ontologybased data matching framework (ODMF). Within the...
142
click to vote
CHES
2007
Springer
15 years 10 months ago
2007
Springer
This papers introduces several binary scalar multiplication algorithms with applications to cryptography. Remarkably, the proposed algorithms regularly repeat the same pattern when...