2409 search results - page 385 / 482 » On Extended Regular Expressions |
119
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
134
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
121
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
126
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
123
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
The WS-Policy framework has been introduced to allow policy to be expressed and associated with Web Services thereby enabling organizations to manage the quality of their services...