4212 search results - page 142 / 843 » Rights Expression Languages |
167
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
220
click to vote
SCCC
2008
IEEE
16 years 23 days ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
172
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
199
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
150
click to vote
AVI
1998
15 years 7 months ago
1998
In this paper we describe Kaleidoquery, a visual query language for object databases with the same expressive power as OQL. We will describe the design philosophy behind the filte...