Sciweavers

2088 search results - page 90 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
CORR
2004
Springer
122views Education» more  CORR 2004»
14 years 11 months ago
Evolution of a Subsumption Architecture Neurocontroller
An approach to robotics called layered evolution and merging features from the subsumption architecture into evolutionary robotics is presented, and its advantages are discussed. T...
Julian Togelius
COMPSAC
1997
IEEE
15 years 4 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
IDEAS
1999
IEEE
131views Database» more  IDEAS 1999»
15 years 4 months ago
ISIS: A Semantic Mediation Model and an Agent Based Architecture for GIS Interoperability
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
Eric Leclercq, Djamal Benslimane, Kokou Yét...
SYNASC
2005
IEEE
77views Algorithms» more  SYNASC 2005»
15 years 5 months ago
On P Systems with Bounded Parallelism
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
Francesco Bernardini, Francisco José Romero...
FMICS
2010
Springer
15 years 29 days ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre