Sciweavers

2963 search results - page 233 / 593
» On the Integration of Web Modeling Languages
Sort
View
MKWI
2008
171views Business» more  MKWI 2008»
15 years 8 months ago
Model-Driven Process Development Incorporating Human Tasks in Service-Oriented Grid Environments
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
Julian Reichwald, Tim Dörnemann, Thomas Barth...
HCSE
2010
15 years 4 months ago
Supporting Multimodality in Service-Oriented Model-Based Development Environments
While multimodal interfaces are becoming more and more used and supported, their development is still difficult and there is a lack of authoring tools for this purpose. The goal of...
Marco Manca, Fabio Paternò
FOSAD
2009
Springer
16 years 1 months ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò
EUSFLAT
2003
139views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Deduction in a GEFRED database using Datalog
In this paper, some considerations on extension of the Datalog language are proposed in order to apply this language on a GEFRED fuzzy relational database. For this integration, w...
Ignacio J. Blanco, Olga Pons, José-Mar&iacu...
EACL
2003
ACL Anthology
15 years 8 months ago
Information Structure in Topological Dependency Grammar
Topological Dependency Grammar (TDG) is a lexicalized dependency grammar formalism, able to model languages with a relatively free word order. In such languages, word order variat...
Geert-Jan M. Kruijff, Denys Duchier