Sciweavers

2403 search results - page 177 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
JNS
2007
85views more  JNS 2007»
15 years 6 months ago
Long-Time Accuracy for Approximate Slow Manifolds in a Finite-Dimensional Model of Balance
We study the slow singular limit for planar anharmonic oscillatory motion of a charged particle under the influence of a perpendicular magnetic field when the mass of the particl...
G. Gottwald, M. Oliver, N. Tecu
ICRA
2009
IEEE
191views Robotics» more  ICRA 2009»
16 years 1 months ago
Distributed coverage control for mobile sensors with location-dependent sensing models
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...
Ajay Deshpande, Sameera Poduri, Daniela Rus, Gaura...
WAPCV
2007
Springer
16 years 16 days ago
Modeling the Dynamics of Feature Binding During Object-Selective Attention
We present a biologically plausible computational model for solving the visual feature binding problem. The binding problem appears to be due to the distributed nature of visual pr...
Albert L. Rothenstein, John K. Tsotsos
ECOOP
2008
Springer
15 years 8 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall
SNPD
2008
15 years 7 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky