14642 search results - page 282 / 2929 » It's Time for a Change |
196
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
189
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
MIMO-OFDM is a promising technique for the broadband wireless communication system. In this paper, we propose a novel scheme that integrates multiple description coding (MDC), err...
210
click to vote
ADAEUROPE
2006
Springer
16 years 22 days ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
239
click to vote
ECRTS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
204
click to vote
CONCUR
2005
Springer
16 years 8 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...