2573 search results - page 173 / 515 » Combinations of Modal Logics |
109
click to vote
FUIN
2006
15 years 4 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
257
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
137
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
149
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
269
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...