4257 search results - page 787 / 852 » The Logical Modularity of Programs |
176
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
103
click to vote
PODS
2002
ACM
15 years 12 months ago
2002
ACM
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
111
click to vote
PODS
2002
ACM
15 years 12 months ago
2002
ACM
Data Warehousing and OLAPapplications typically view data as having multiple logical dimensions e.g., product, location with natural hierarchies de ned on each dimension. OLAP que...
101
click to vote
PODS
2005
ACM
15 years 12 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...