5451 search results - page 488 / 1091 » Typed Operational Semantics |
179
click to vote
ICALP
2009
Springer
16 years 7 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...
176
click to vote
EDBT
2006
ACM
16 years 7 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...
172
click to vote
ICWS
2009
IEEE
16 years 4 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...
175
click to vote
IEEEARES
2009
IEEE
16 years 1 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...
151
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...