Sciweavers

844 search results - page 34 / 169
» More On Implicit Syntax
Sort
View
ISD
1999
Springer
262views Database» more  ISD 1999»
15 years 6 months ago
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla...
APN
2008
Springer
15 years 4 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
114
Voted
NLDB
2010
Springer
15 years 3 months ago
Semantic Enriching of Natural Language Texts with Automatic Thematic Role Annotation
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
Sven J. Körner, Mathias Landhäußer
WOA
2004
15 years 3 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
ACIIDS
2011
IEEE
209views Database» more  ACIIDS 2011»
14 years 9 months ago
Prototype of Object-Oriented Declarative Workflows
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...
Marcin Dabrowski, Michal Drabik, Mariusz Trzaska, ...