Sciweavers

7009 search results - page 354 / 1402
» Patterns in Complex Systems Modeling
Sort
View
ENTCS
2006
158views more  ENTCS 2006»
15 years 6 months ago
Towards a Subject-Oriented Model-Driven Framework
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
Pablo Amaya, Carlos González, Juan M. Muril...
ICRA
2007
IEEE
142views Robotics» more  ICRA 2007»
16 years 1 months ago
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
— This paper studies the problem of stabilizing wheeled mobile robots (WMRs) subject to wheel slippage to a predefined set. When slippage of the wheels can occur, WMRs can be mo...
Shangming Wei, Milos Zefran, Kasemsak Uthaichana, ...
CCGRID
2010
IEEE
15 years 7 months ago
Streamflow Programming Model for Data Streaming in Scientific Workflows
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
Chathura Herath, Beth Plale
IROS
2008
IEEE
104views Robotics» more  IROS 2008»
16 years 1 months ago
Kinematic study of the spider system in a biomimetic perspective
— The spiders’ ability of walking and climbing on different surfaces and in different conditions is taken into account in this paper in order to define and study a suitable sp...
Alessandro Gasparetto, Renato Vidoni, Tobias Seidl
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...