5407 search results - page 890 / 1082 » The Software Engineering Global Model |
130
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
166
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
233
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
137
click to vote
SIAMJO
2011
14 years 11 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
139
click to vote
TASLP
2011
14 years 11 months ago
2011
—Measuring binaural room impulse responses (BRIRs) for different rooms and different persons is a costly and time-consuming task. In this paper, we propose a method that allows t...