Sciweavers

2206 search results - page 142 / 442
» On the power of coercion abstraction
Sort
View
ICC
2007
IEEE
131views Communications» more  ICC 2007»
16 years 25 days ago
Cooperative Digital Audio Broadcast Networks
Abstract— Digital Audio Broadcast (DAB) systems are considered for delivery of audio information to users in heavily attended sporting, cultural, and amusement events [1]. A uniq...
Ahmed Bader
OTM
2007
Springer
16 years 19 days ago
An Ontology-Driven Architecture for Re-using Semantic Web Services
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
Carlos Granell, Dolores María Llidó,...
ISCIS
2004
Springer
15 years 12 months ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 11 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
PADO
2001
Springer
15 years 11 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan