Sciweavers

588 search results - page 27 / 118
» A Domain Specific Language for Cryptography
Sort
View
MSV
2007
13 years 9 months ago
Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment
In this paper we introduce PRIMA: A PRecise vIsual language for Modeling with Agents, in a physical environment. Our objective is to design an expressive Domain Specific Visual La...
Alexandre Muzy, Juan de Lara, Esther Guerra
INFORMATICALT
2000
114views more  INFORMATICALT 2000»
13 years 7 months ago
The Language-Centric Program Generator Models: 3L Paradigm
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
Vytautas Stuikys, Giedrius Ziberkas, Robertas Dama...
ENTCS
2006
118views more  ENTCS 2006»
13 years 7 months ago
The Language Evolver Lever - Tool Demonstration -
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
Elmar Jürgens, Markus Pizka
AAAI
2006
13 years 9 months ago
Goal Specification, Non-Determinism and Quantifying over Policies
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
Chitta Baral, Jicheng Zhao
FMOODS
2006
13 years 9 months ago
KM3: A DSL for Metamodel Specification
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
Frédéric Jouault, Jean Bézivi...