2766 search results - page 372 / 554 » Hybridizing a Logical Framework |
131
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
142
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...
131
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
144
click to vote
P2P
2005
IEEE
15 years 10 months ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...
130
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...