247 search results - page 29 / 50 » Development graphs - Proof management for structured specifi... |
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
165
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
Reachability queries on large directed graphs have attracted much attention recently. The existing work either uses spanning structures, such as chains or trees, to compress the c...
109
click to vote
WWW
2003
ACM
16 years 12 days ago
2003
ACM
Recent advances in information retrieval over hyperlinked corpora have convincinglydemonstratedthat links carry less noisy information than text. We investigate the feasibility of...
COOPIS
1998
IEEE
15 years 3 months ago
1998
IEEE
There is an increase in the number of data sources that can be queried across the WWW. Such sources typically support HTML forms-based interfaces and search engines query collecti...
VLC
2002
14 years 11 months ago
2002
In this paper, we introduce an XML-based Hierarchical QoS Markup Language, called HQML, to enhance distributed multimedia applications on the World Wide Web (WWW) with Quality of ...