Sciweavers

4872 search results - page 288 / 975
» CBR for Modeling Complex Systems
Sort
View
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
16 years 29 days ago
One Click Focus with Eye-in-hand/Eye-to-hand Cooperation
— A critical assumption of many multi-view control systems is the initial visibility of the regions of interest from all the views. An initialization step is proposed for a hybri...
Claire Dune, Éric Marchand, Christophe Lero...
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
16 years 20 days ago
Discontinuity-induced bifurcations in TCP/RED communication algorithms
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...
Mingjian Liu, A. Marciello, Mario di Bernardo, Lji...
JUCS
2006
109views more  JUCS 2006»
15 years 6 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
AC
2003
Springer
15 years 12 months ago
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enr...
MODELS
2009
Springer
15 years 11 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...