Sciweavers

3294 search results - page 396 / 659
» Taxonomy of Process Modeling Languages
Sort
View
ESOP
2000
Springer
15 years 8 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
VL
1992
IEEE
153views Visual Languages» more  VL 1992»
15 years 8 months ago
MAVIS: A Visual Environment for Active Computer Vision
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
Thomas J. Olson, Nicholas G. Klop, Mark R. Hyett, ...
ASSETS
2008
ACM
15 years 6 months ago
Adapting word prediction to subject matter without topic-labeled data
Word prediction helps to increase communication rate when using Augmentative and Alternative Communication devices. Basic prediction systems offer topically inappropriate predicti...
Keith Trnka
ATAL
2008
Springer
15 years 6 months ago
Towards a Formalisation of Electronic Contracting Environments
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
Nir Oren, Sofia Panagiotidi, Javier Vázquez...
SPLC
2010
15 years 6 months ago
Developing a Software Product Line for Train Control: A Case Study of CVL
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...
Andreas Svendsen, Xiaorui Zhang, Roy Lind-Tviberg,...