4350 search results - page 583 / 870 » Case studies for contract-based systems |
137
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
219
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
185
click to vote
SIAMAM
2010
15 years 5 months ago
2010
Guided acoustic waves propagating along one- and two-dimensional arrays of rigid spheres are studied semi-analytically. The quasi-periodic wave field is constructed as a superposi...
163
click to vote
SIAMAM
2010
15 years 5 months ago
2010
We study N-player continuous-time Cournot games in an oligopoly where firms choose production quantities. These are nonzero-sum differential games, whose value functions may be ...
197
click to vote
ERSA
2010
15 years 4 months ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...