Sciweavers

3522 search results - page 468 / 705
» Modeling and Aspect Weaving
Sort
View
ENTCS
2002
105views more  ENTCS 2002»
15 years 6 months ago
Towards component based systems: refining connectors
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
Matthias Anlauff, Asuman Sünbül
ISCA
2002
IEEE
141views Hardware» more  ISCA 2002»
15 years 6 months ago
SADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Kenneth G. Ricks, John M. Weirs, B. Earl Wells
RE
2002
Springer
15 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
SAC
2002
ACM
15 years 6 months ago
Simulating evolutionary agent communities with OOCSMP
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
Manuel Alfonseca, Juan de Lara
TNN
1998
114views more  TNN 1998»
15 years 6 months ago
A new approach to artificial neural networks
: A novel approach to artificial neural networks is presented. The philosophy of this approach is based on two aspects: the design of task-specific networks, and a new neuron model...
Benedito Dias Baptista F. Filho, Eduardo Lobo Lust...