2558 search results - page 332 / 512 » Model Composition Contracts |
137
Voted
JSS
2002
15 years 4 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...
154
click to vote
TROB
2002
15 years 4 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...
152
click to vote
TROB
2002
15 years 4 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...
141
click to vote
MLDM
2010
Springer
14 years 11 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...
153
Voted
SIAMAM
2011
14 years 7 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...