2602 search results - page 10 / 521 » Semantic Analysis of 'to' |
PEPM
2009
ACM
15 years 8 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...
ICDAR
2005
IEEE
15 years 5 months ago
2005
IEEE
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
CIVR
2006
Springer
15 years 3 months ago
2006
Springer
115
click to vote
IFIP
2010
Springer
14 years 6 months 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 ...