Sciweavers

29143 search results - page 442 / 5829
» A Sortation System Model
Sort
View
ICRA
2003
IEEE
131views Robotics» more  ICRA 2003»
16 years 2 days ago
Kinematic Modelling of Wheeled Mobile Manipulators
We propose a systematic modelling of the nonholonomic mobile manipulators built from a robotic arm mounted on a wheeled mobile platform. It extends the fundamental notions of nonh...
Bernard Bayle, Jean-Yves Fourquet, Marc Renaud
HYBRID
2001
Springer
15 years 11 months ago
Hybrid Modeling of TCP Congestion Control
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using
João P. Hespanha, Stephan Bohacek, Katia Ob...
SACMAT
2011
ACM
14 years 9 months ago
An approach to modular and testable security models of real-world health-care applications
t http://www.brucker.ch/bibliography/abstract/ brucker.ea-model-based-2011 by permission of ACM for your personal use. Not for redistribution. The definitive version was published...
Achim D. Brucker, Lukas Brügger, Paul Kearney...
IPPS
2008
IEEE
16 years 1 months ago
Model-based fault localization in large-scale computing systems
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...
Naoya Maruyama, Satoshi Matsuoka
SEUS
2008
IEEE
16 years 1 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic