Sciweavers

1173 search results - page 74 / 235
» On the Compositionality of Round Abstraction
Sort
View
PODC
1995
ACM
15 years 4 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
WOA
2001
15 years 2 months ago
Multi-Agent Systems as Composition of Observable Systems
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
Mirko Viroli, Andrea Omicini
SOCO
2008
Springer
15 years 26 days ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot
JUCS
2007
121views more  JUCS 2007»
15 years 25 days ago
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
STACS
2005
Springer
15 years 6 months ago
Exact Quantum Algorithms for the Leader Election Problem
Abstract. It is well-known that no classical algorithm can solve exactly (i.e., in bounded time without error) the leader election problem in anonymous networks. This paper propose...
Seiichiro Tani, Hirotada Kobayashi, Keiji Matsumot...