2688 search results - page 298 / 538 » A formal semantics for P3P |
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
169
click to vote
CN
1998
15 years 6 months ago
1998
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
207
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
240
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
214
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...