4350 search results - page 515 / 870 » Case studies for contract-based systems |
212
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
166
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
—We address a discrete-time, pursuit-evasion game with alternate moves played between two kinds of players: the pursuer and the evader. The pursuer wishes to capture the evader w...
201
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we study a class of uncertain linear estimation problems in which the data are affected by random uncertainty. In this setting, we consider two estimation criteria,...
249
click to vote
MEMOCODE
2008
IEEE
16 years 2 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
209
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—We explore the performance tradeoff between opportunistic and regulated access inherent in the design of multiuser cognitive radio networks. We consider a cognitive radi...