623 search results - page 35 / 125 » Declarative Network Verification |
WIDM
1998
ACM
14 years 29 days ago
1998
ACM
There is a massive increase of information available on electronic networks. This profusion of resources on the WorldWide Web gave rise to considerable interest in the research co...
EUROPAR
2006
Springer
14 years 12 days ago
2006
Springer
OGSA-DQP is a Distributed Query Processing system for the Grid. It uses the OGSA-DAI framework for querying individual databases and adds on top of it an infrastructure to perform ...
EACL
1989
ACL Anthology
13 years 10 months ago
1989
ACL Anthology
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
AICCSA
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper addresses the inter-operability problem of multimedia terminal in media content delivery over heterogeneous networks and devices. We design and implement a terminal whi...
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
This demo presents a graphical user interface and ranking system, coined KSpot, for effectively monitoring the K highest-ranked answers to a query Q in a Wireless Sensor Network. K...