5255 search results - page 206 / 1051 » Formal Methods for Privacy |
121
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
109
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
125
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...
146
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
137
click to vote
WPES
2005
ACM
15 years 9 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...