2558 search results - page 332 / 512 » Model Composition Contracts |
162
click to vote
JSS
2002
15 years 6 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
181
click to vote
TROB
2002
15 years 6 months ago
2002
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
180
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract--The key to utilizing the potential of multirobot systems is cooperation. How can we achieve cooperation in systems composed of failure-prone autonomous robots operating i...
173
click to vote
MLDM
2010
Springer
15 years 1 months ago
2010
Springer
Prepaid customers in mobile telecommunications are not bound by a contract and can therefore change operators (`churn') at their convenience and without notification. This mak...
189
click to vote
SIAMAM
2011
14 years 9 months ago
2011
We develop a general theory of the swelling kinetics of polymer gels, with the view that a polymer gel is a two-phase fluid. The model we propose is a free boundary problem and ca...