4372 search results - page 769 / 875 » Data Semantics Revisited |
141
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
114
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Chip Authentication Programme (CAP) has been introduced by banks in Europe to deal with the soaring losses due to online banking fraud. A handheld reader is used toge...
114
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
142
click to vote
ICMI
2009
Springer
15 years 11 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
158
click to vote
MDM
2009
Springer
15 years 11 months ago
2009
Springer
Creation of pedagogical learning models to handle the specificity of mobile learning and the inherent constraints of mobile devices is a fundamental challenge in mobile learning. ...