Sciweavers

1103 search results - page 82 / 221
» The Visula programming language and environment
Sort
View
113
Voted
ATAL
2009
Springer
15 years 10 months ago
The DSML4MAS development environment
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
Stefan Warwas, Christian Hahn
169
Voted
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 9 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
VL
2003
IEEE
129views Visual Languages» more  VL 2003»
15 years 9 months ago
Context-aware computing support for the educationally disadvantaged
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...
Timothy Sohn
PADL
2007
Springer
15 years 10 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
122
Voted
WADT
1998
Springer
15 years 8 months ago
Non-deterministic Computations in ELAN
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
Hélène Kirchner, Pierre-Etienne More...