270 search results - page 42 / 54 » A Type System for Dynamic Web Documents |
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
DASFAA
2009
IEEE
14 years 3 months ago
2009
IEEE
The rapidly increasing number of XML-related applications indicates a growing need for efficient, dynamic, and native XML support in database management systems (XDBMS). So far, bo...
LDTA
2010
13 years 8 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
KDD
2008
ACM
14 years 8 months ago
2008
ACM
We introduce the problem of query decomposition, where we are given a query and a document retrieval system, and we want to produce a small set of queries whose union of resulting...
GIS
2007
ACM
14 years 9 months ago
2007
ACM
We consider trails to be a document type of growing importance, authored in abundance as locative technologies become embedded in mobile devices carried by billions of humans. As ...