2135 search results - page 201 / 427 » An Operational Semantics for JavaScript |
194
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
124
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
108
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
113
Voted
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
123
click to vote
IEEEARES
2009
IEEE
15 years 9 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...