Sciweavers

5034 search results - page 388 / 1007
» A Content-Centric Development Process Model
Sort
View
IROS
2006
IEEE
208views Robotics» more  IROS 2006»
15 years 11 months ago
Modeling Soft Contact Mechanism of Biological Cells Using an Atomic Force Bio-Microscope
— The development of a mechanical force sensing device system based on force/vision feedback control for exploring in vitro the contact mechanics of human adherent cervix Epithel...
Maxime Girot, Mehdi Boukallel, Stephane Rég...
ECRTS
2005
IEEE
15 years 10 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
GECCO
2004
Springer
143views Optimization» more  GECCO 2004»
15 years 10 months ago
Efficient Clustering-Based Genetic Algorithms in Chemical Kinetic Modelling
Two efficient clustering-based genetic algorithms are developed for the optimisation of reaction rate parameters in chemical kinetic modelling. The genetic algorithms employed are ...
Lionel Elliott, Derek B. Ingham, Adrian G. Kyne, N...
MATES
2004
Springer
15 years 10 months ago
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
APSEC
2004
IEEE
15 years 8 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz