4212 search results - page 77 / 843 » Rights Expression Languages |
147
Voted
IFL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
81
Voted
COLING
2010
15 years 2 days ago
2010
PanLex is a lemmatic translation resource which combines a large number of translation dictionaries and other translingual lexical resources. It currently covers 1353 language var...
122
Voted
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
131
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
130
Voted
AEI
2007
15 years 5 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...