4212 search results - page 238 / 843 » Rights Expression Languages |
176
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
163
click to vote
VL
2005
IEEE
16 years 3 days ago
2005
IEEE
There are many common spreadsheet errors that traditional spreadsheet systems do not help users find. This paper presents a statically-typed spreadsheet language that adds additio...
168
click to vote
FORMATS
2005
Springer
16 years 2 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
181
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
149
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Recently, a hierarchy of spatio-temporal languages based on the propositional temporal logic PTL and the spatial languages RCC-8, BRCC-8 and S4u has been introduced. Although a nu...