2135 search results - page 343 / 427 » An Operational Semantics for JavaScript |
120
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
112
click to vote
COSIT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
134
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
100
click to vote
FSEN
2009
Springer
15 years 9 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 ...
117
click to vote
ICMI
2009
Springer
15 years 9 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...