6978 search results - page 1366 / 1396 » On Proofs in System P |
XMLSEC
2003
ACM
14 years 27 days ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
ERSHOV
2003
Springer
14 years 26 days ago
2003
Springer
The model-view-controller pattern is used to keep a data model and its views consistent. Usually there is a one-to-one correspondence between the data in the model and its represen...
HIPC
2003
Springer
14 years 26 days ago
2003
Springer
Abstract: Overlay Multicast networks in mobile ad-hoc environments have received much attention due to their increasing number of practical applications. Although overlay multicast...
ISMIR
2003
Springer
14 years 25 days ago
2003
Springer
Automatic extraction of content description from commercial audio recordings has a number of important applications, from indexing and retrieval through to novel musicological ana...
EWSN
2010
Springer
14 years 23 days ago
2010
Springer
One unfortunate consequence of the success story of wireless sensor networks (WSNs) in separate research communities is an evergrowing gap between theory and practice. Even though ...