Sciweavers

7209 search results - page 1338 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
BIOSYSTEMS
2007
103views more  BIOSYSTEMS 2007»
13 years 9 months ago
A design framework to model retinas
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
Christian A. Morillas, Samuel F. Romero, Antonio M...
GPEM
2006
97views more  GPEM 2006»
13 years 9 months ago
Evolving recursive programs by using adaptive grammar based genetic programming
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...
Man Wong
INFSOF
2006
73views more  INFSOF 2006»
13 years 9 months ago
Theory and algorithms for slicing unstructured programs
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...
Mark Harman, Arun Lakhotia, David Binkley
SAC
2008
ACM
13 years 8 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
IPL
2010
94views more  IPL 2010»
13 years 7 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
« Prev « First page 1338 / 1442 Last » Next »