Sciweavers

3432 search results - page 296 / 687
» Language as a Complex Adaptive System
Sort
View
FASE
2000
Springer
15 years 8 months ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
AGTIVE
2003
Springer
15 years 10 months ago
Integrating Graph Rewriting and Standard Software Tools
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
Uwe Aßmann, Johan Lövdahl
155
Voted
MIRRORBOT
2005
Springer
144views Robotics» more  MIRRORBOT 2005»
15 years 10 months ago
Combining Visual Attention, Object Recognition and Associative Information Processing in a NeuroBotic System
We have implemented a neurobiologically plausible system on a robot that integrates visual attention, object recognition, language and action processing using a coherent cortex-lik...
Rebecca Fay, Ulrich Kaufmann, Andreas Knoblauch, H...
144
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 10 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
ISI
2003
Springer
15 years 10 months ago
Active Database Systems for Monitoring and Surveillance
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
Antonio Badia