Sciweavers

2206 search results - page 142 / 442
» On the power of coercion abstraction
Sort
View
ICC
2007
IEEE
131views Communications» more  ICC 2007»
15 years 8 months 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
148
Voted
OTM
2007
Springer
15 years 8 months 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ó,...
111
Voted
ISCIS
2004
Springer
15 years 7 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 6 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 6 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan