4350 search results - page 664 / 870 » Case studies for contract-based systems |
153
click to vote
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
127
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We study stochastic dynamic games with a large number of players, where players are coupled via their cost functions. A standard solution concept for stochastic games is Markov...
119
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper considers a network flow control problem where routing and input rates are controlled in a decentralized way across a network, to optimize a global welfare objectiv...
155
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...
134
click to vote
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...