Sciweavers

433 search results - page 53 / 87
» Towards a BPMN Semantics Using UML Models
Sort
View
ESWS
2010
Springer
14 years 1 months ago
A Hybrid Model and Computing Platform for Spatio-semantic Trajectories
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
Zhixian Yan, Christine Parent, Stefano Spaccapietr...
ACL
2004
13 years 10 months ago
Classifying Semantic Relations in Bioscience Texts
A crucial step toward the goal of automatic extraction of propositional information from natural language text is the identification of semantic relations between constituents in ...
Barbara Rosario, Marti A. Hearst
DAGSTUHL
2004
13 years 10 months ago
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
Martin Gogolla
STORYTELLING
2007
Springer
14 years 2 months ago
Automatic Direction of Interactive Storytelling: Formalizing the Game Master Paradigm
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
Federico Peinado, Pablo Gervás
TCS
2008
13 years 8 months ago
Sound and complete computational interpretation of symbolic hashes in the standard model
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
Flavio D. Garcia, Peter van Rossum