4350 search results - page 266 / 870 » Case studies for contract-based systems |
204
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
176
click to vote
AHS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
228
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
308
click to vote
ICSAP
2010
15 years 10 months ago
2010
—In this paper, we study the performance of the channel estimation in a Turbo coded, orthogonal frequency division multiplexing (OFDM) with multiple antennas at the receiver. We ...
165
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
CityFlocks is a mobile system enabling visitors and new residents in a city to tap into the knowledge and experiences of local residents, so as to gather information about their n...