Sciweavers

3824 search results - page 619 / 765
» Geometry Constructions Language
Sort
View
WSC
1996
15 years 3 months ago
A Parallel GPSS Based on the ParaSol Simulation System
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...
Felipe Knop, Edward Mascarenhas, Vernon Rego
CLEF
2009
Springer
15 years 3 months ago
MorphoNet: Exploring the Use of Community Structure for Unsupervised Morpheme Analysis
This paper investigates a novel approach to unsupervised morphology induction relying on community detection in networks. In a first step, morphological transformation rules are a...
Delphine Bernhard
SAC
2010
ACM
15 years 2 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
ECEASST
2008
88views more  ECEASST 2008»
15 years 2 months ago
Reconfiguration of Reo Connectors Triggered by Dataflow
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
Christian Koehler, David Costa, José Proen&...
ECEASST
2008
69views more  ECEASST 2008»
15 years 2 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai