660 search results - page 108 / 132 » Reasoning about Dynamic Policies |
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
FMCO
2007
Springer
14 years 2 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...
ICAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...