Sciweavers

1671 search results - page 238 / 335
» Semantics Through Pictures
Sort
View
ENTCS
2006
158views more  ENTCS 2006»
13 years 7 months ago
Connector Colouring I: Synchronisation and Context Dependency
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
Dave Clarke, David Costa, Farhad Arbab
JAIR
2006
128views more  JAIR 2006»
13 years 7 months ago
Cognitive Principles in Robust Multimodal Interpretation
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
Joyce Yue Chai, Zahar Prasov, Shaolin Qu
ENTCS
2007
78views more  ENTCS 2007»
13 years 7 months ago
PEPA Queues: Capturing Customer Behaviour in Queueing Networks
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
Ashok Argent-Katwala, Jeremy T. Bradley
ENTCS
2007
105views more  ENTCS 2007»
13 years 7 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
KAIS
2006
94views more  KAIS 2006»
13 years 7 months ago
Human-centered ontology engineering: The HCOME methodology
The fast emergent and continuously evolving areas of the Semantic Web and Knowledge Management make the incorporation of ontology engineering tasks in knowledge-empowered organiza...
Konstantinos Kotis, George A. Vouros