4520 search results - page 104 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
156
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper demonstrates the feasibility and potential of applying empirical mode decomposition (EMD) to forecast the arrival time behaviors in a parallel batch system. An analysis...
174
click to vote
FORTE
2007
15 years 7 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
172
click to vote
IS
2007
15 years 6 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
140
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...