1390 search results - page 198 / 278 » Software Systems Integration and Architectural Analysis - A ... |
144
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— In this paper we analyse a feedback system consisting of a finite buffer fluid queue and a responsive source. The source alternates between silence periods and active...
150
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
122
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
124
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
154
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...