4350 search results - page 287 / 870 » Case studies for contract-based systems |
153
click to vote
ISESE
2006
IEEE
16 years 20 days ago
2006
IEEE
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
260
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The paper deals with efficient distribution of timely information to flows of mobile devices. We consider the case where a set of Information Dissemination Devices (IDDs) broa...
164
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
203
click to vote
MCSS
2008
Springer
15 years 5 months ago
2008
Springer
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case ...
169
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...