Sciweavers

13140 search results - page 237 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
PROCEDIA
2010
116views more  PROCEDIA 2010»
15 years 5 months ago
Towards fully autonomic peer-to-peer systems
Large-scale distributed applications are becoming more and more demanding in terms of efficiency and flexibility of the technological infrastructure, for which traditional soluti...
Michele Amoretti
POPL
2010
ACM
16 years 4 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
SOCO
2002
Springer
15 years 6 months ago
Content-based audio classification and retrieval using a fuzzy logic system: towards multimedia search engines
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
Mingchun Liu, Chunru Wan, Lipo Wang
CCS
2008
ACM
15 years 8 months ago
Towards an efficient and language-agnostic compliance checker for trust negotiation systems
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
Adam J. Lee, Marianne Winslett
SYRCODIS
2008
184views Database» more  SYRCODIS 2008»
15 years 8 months ago
Towards Cost-based Query Optimization in Native XML Database Management Systems
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
Andreas M. Weiner, Christian Mathis, Theo Här...