260 search results - page 50 / 52 » Semantic model checking security requirements for web servic... |
IHI
2012
12 years 4 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
DASFAA
2009
IEEE
14 years 3 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
CSFW
2004
IEEE
14 years 9 days ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...