1052 search results - page 93 / 211 » The Regular Real-Time Languages |
102
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
111
click to vote
KI
1993
Springer
15 years 7 months ago
1993
Springer
Verbmobil is a long-term project on the translation of spontaneous language in negotiation dialogs. We describe the goals of the project, the chosen discourse domains and the init...
123
Voted
EUSFLAT
2003
15 years 5 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
123
Voted
MMNS
2003
15 years 5 months ago
2003
Streaming multimedia applications, such as video on demand or conferencing are increasingly deployed in heterogeneous and mobile environments including Workstations, PDAs, mobile p...
113
Voted
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...