292 search results - page 10 / 59 » Property Verification for Generic Access Control Models |
CBMS
2008
IEEE
14 years 2 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
CAISE
1999
Springer
14 years 22 days ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
INFOCOM
1999
IEEE
14 years 22 days ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...