30267 search results - page 426 / 6054 » Process Modelling Languages |
195
click to vote
FUIN
2006
15 years 6 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
205
click to vote
QEST
2006
IEEE
16 years 27 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
202
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
In this paper we compare and contrast two approaches to Machine Translation (MT): the CMU-UKA Syntax Augmented Machine Translation system (SAMT) and UPC-TALP N-gram-based Statisti...
177
click to vote
INLG
2004
Springer
16 years 8 days ago
2004
Springer
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
184
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...