653 search results - page 70 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
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...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
ENTCS
2008
13 years 9 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...