2602 search results - page 10 / 521 » Semantic Analysis of 'to' |
146
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
184
click to vote
IFIP
2010
Springer
15 years 25 days ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...