4350 search results - page 198 / 870 » Case studies for contract-based systems |
110
click to vote
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach for testing the performance of a system used as a gateway ...
113
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
This paper investigates simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian (PCH) systems and proposes a number of results on the design of simultaneous s...
135
click to vote
WER
2001
Springer
15 years 9 months ago
2001
Springer
A survey of different types of prototypes and current prototyping methods is presented. Especially the usage of prototypes with use cases and scenarios is investigated, and an appr...
152
click to vote
UAI
2004
15 years 5 months ago
2004
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...
131
click to vote
SIAMCO
2010
14 years 11 months ago
2010
This work is devoted to stationary optimal control problems with polygonal constraints on the components of the state. Existence of Lagrange multipliers, of different regularity, i...