462 search results - page 5 / 93 » Supporting e-commerce systems formalization with choreograph... |
ATAL
2010
Springer
15 years 24 days ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
109
click to vote
ESORICS
2009
Springer
16 years 9 days ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
176
click to vote
POPL
2004
ACM
16 years 3 hour ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
107
click to vote
ZUM
2000
Springer
15 years 3 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...
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...