5451 search results - page 844 / 1091 » Typed Operational Semantics |
149
click to vote
COSIT
2009
Springer
16 years 10 days 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...
138
click to vote
FSEN
2009
Springer
16 years 10 days 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 ...
159
click to vote
ICMI
2009
Springer
16 years 10 days 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...
140
click to vote
IFIP
2009
Springer
16 years 10 days ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
191
click to vote
DOLAP
2009
ACM
16 years 8 days ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...