Sciweavers

6722 search results - page 668 / 1345
» Reuse-Conducive Development Environments
Sort
View
LICS
2003
IEEE
16 years 17 days ago
Reasoning about Hierarchical Storage
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
Amal J. Ahmed, Limin Jia, David Walker
168
Voted
WETICE
2003
IEEE
16 years 17 days ago
Automatic synthesis of coordinators for COTS group-ware applications: an example
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
Paola Inverardi, Massimo Tivoli, Antonio Bucchiaro...
AE
2003
Springer
16 years 16 days ago
Co-evolution in Artificial Ecosystems: Competition and Cooperation Using Allellopathy
This paper presents simulations of long-term co-evolution in simple artificial ecosystems composed of different plant species. Artificial plants and plant communities, evolving in ...
Claude Lattaud
EUSAI
2003
Springer
16 years 15 days ago
Lino, the User-Interface Robot
Abstract. This paper reports on the development of a domestic userinterface robot that is able to have natural human interaction by speech and emotional feedback. Natural interacti...
Ben J. A. Kröse, Josep M. Porta, Albert J. N....
169
Voted
ASAP
2002
IEEE
76views Hardware» more  ASAP 2002»
16 years 8 days ago
A Component Architecture for FPGA-Based, DSP System Design
† Introducing FPGA components into DSP system implementations creates an assortment of challenges across system architecture and logic design. Recognizing that some of the greate...
Gary Spivey, Shuvra S. Bhattacharyya, Kazuo Nakaji...