Sciweavers

4209 search results - page 574 / 842
» Abstract Dialectical Frameworks
Sort
View
FCCM
1997
IEEE
199views VLSI» more  FCCM 1997»
15 years 8 months ago
The RAW benchmark suite: computation structures for general purpose computing
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
Jonathan Babb, Matthew Frank, Victor Lee, Elliot W...
ESAW
2006
Springer
15 years 8 months ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
151
Voted
EON
2008
15 years 6 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
GAMEON
2003
15 years 5 months ago
An Actor Architecture to Develop Games for Blind Children
In this article, we are interested in providing a framework to develop games for visually impaired or blind children. In this context, we propose a tool set to ease the creation o...
Cyrille Bertelle, Antoine Dutot, Sylvain Lerebourg...
155
Voted
ICOODB
2010
117views Database» more  ICOODB 2010»
15 years 3 months ago
iBLOB: Complex Object Management in Databases through Intelligent Binary Large Objects
Abstract. New emerging applications including genomic, multimedia, and geospatial technologies have necessitated the handling of complex application objects that are highly structu...
Tao Chen, Arif Khan, Markus Schneider, Ganesh Visw...