1268 search results - page 98 / 254 » Verifying distributed systems: the operational approach |
MOBILWARE
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
211
click to vote
SACMAT
2011
ACM
14 years 28 days ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
PODC
2004
ACM
15 years 3 months ago
2004
ACM
We propose a framework to translate certain subclasses of diļ¬erential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
87
Voted
EAAI
2007
14 years 10 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...