Sciweavers

1159 search results - page 152 / 232
» Social Roles and their Descriptions
Sort
View
LCN
2007
IEEE
14 years 5 months ago
Efficient MD Coding Core Selection to Reduce the Bandwidth Consumption
- Multiple distribution trees and multiple description (MD) coding are highly robust since they provide redundancy both in network paths and data. However, MD coded streaming inclu...
Sunoh Choi, Sang-Seon Byun, Chuck Yoo
ATAL
2007
Springer
14 years 5 months ago
Deriving agent-centred representations of protocols described using propositional statecharts
Diagrammatic methodologies for the representation of agent interaction protocols can be classified as joint representations that describe an interaction in terms of a single sequ...
Hywel R. Dunn-Davies, Jim Cunningham
ESWS
2007
Springer
14 years 5 months ago
Acquisition of OWL DL Axioms from Lexical Resources
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
Johanna Völker, Pascal Hitzler, Philipp Cimia...
FOSSACS
2007
Springer
14 years 5 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
SOCO
2007
Springer
14 years 5 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro