1532 search results - page 193 / 307 » An Algebraic Process Calculus |
142
click to vote
FMOODS
2006
15 years 6 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
158
click to vote
SEBD
1997
15 years 6 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
126
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
135
click to vote
ENTCS
2006
15 years 4 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
143
click to vote
JEC
2006
15 years 4 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...