513 search results - page 62 / 103 » Operational and abstract semantics of the query language G-L... |
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
102
click to vote
IDEAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
105
Voted
RULEML
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
124
click to vote
DEXA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Finding all occurrences of a twig pattern in an XML document is a core operation for XML query processing. The emergence of XML as a common mark-up language for data inte...