3420 search results - page 632 / 684 » A Language-Based Approach to Security |
IAJIT
2010
13 years 7 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
IJIEM
2010
13 years 7 months ago
2010
The use of information technology to manage patient consent is an important emerging area of research in health data management. This paper identifies literature, technological ad...
IPMU
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Many surveillance cameras are being installed throughout the environments of our daily lives because they effectively maintain safety and offer security to ordinary peopl...
JFP
2010
13 years 7 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...