Sciweavers

120 search results - page 8 / 24
» An expressive mechanism for auctions on the web
Sort
View
FSTTCS
2010
Springer
14 years 7 months ago
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
Michael Backes, Matteo Maffei, Esfandiar Mohammadi
ICWS
2008
IEEE
14 years 11 months ago
Extending WS-Notification with an Expressive Event Notification Broker
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invocations b...
Sven De Labey, Eric Steegmans
IADIS
2004
14 years 10 months ago
RSS-Based Semantic Web Site Description. Making the Web More Accessible
As stated in the Web Content Accessibility Guidelines, it is extremely important to provide clear and consistent navigation mechanisms to increase the likelihood that a person wil...
Eric Noam Rodríguez Suazo, José Gabr...
AAAI
2006
14 years 10 months ago
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
VLDB
1999
ACM
188views Database» more  VLDB 1999»
15 years 1 months ago
SPIRIT: Sequential Pattern Mining with Regular Expression Constraints
Discovering sequential patterns is an important problem in data mining with a host of application domains including medicine, telecommunications, and the World Wide Web. Conventio...
Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim