Sciweavers

899 search results - page 72 / 180
» Implementing declarative overlays
Sort
View
DSML
2008
116views Formal Methods» more  DSML 2008»
13 years 9 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
DBSEC
2003
115views Database» more  DBSEC 2003»
13 years 9 months ago
Administration Rights in the SDSD-System
The SDSD-system offers state-dependent access control in distributed object systems. The system enforces protocols which declare sets of activity sequences as allowed, thereby for...
Joachim Biskup, Thomas Leineweber, Joerg Parthe
IJCAI
2001
13 years 9 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
ISTA
2003
13 years 9 months ago
Tools for Generation of Natural Inflected Language Processors
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
Nadiya Mishchenko, Anatoly E. Doroshenko
AICCSA
2008
IEEE
265views Hardware» more  AICCSA 2008»
13 years 8 months ago
Multimedia terminal architecture: An inter-operable approach
This paper addresses the inter-operability problem of multimedia terminal in media content delivery over heterogeneous networks and devices. We design and implement a terminal whi...
Beilu Shao, Marco Mattavelli, Maria Teresa Andrade...