Sciweavers

6343 search results - page 203 / 1269
» Development of a Cartographic Language
Sort
View
ICSE
1994
IEEE-ACM
15 years 10 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
ANSS
2007
IEEE
15 years 10 months ago
MDL, A Domain-Specific Language for Molecular Dynamics
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
Trevor M. Cickovski, Chris Sweet, Jesús A. ...
CSLP
2004
Springer
15 years 10 months ago
Multi-dimensional Graph Configuration for Natural Language Processing
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
Ralph Debusmann, Denys Duchier, Marco Kuhlmann
COORDINATION
2008
Springer
15 years 8 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
IADIS
2008
15 years 7 months ago
A Natural Language Virtual Tutoring System
In this paper we present a natural language virtual tutoring system that has been developed to assist students during the learning process. For this purpose, we have used several ...
Eduardo M. Eisman, Víctor López, Jua...