6608 search results - page 1047 / 1322 » On the Completeness of Model Checking |
175
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
162
click to vote
PADS
2005
ACM
16 years 7 days ago
2005
ACM
In earlier work cloning is proposed as a means for efficiently splitting a running simulation midway through its execution into multiple parallel simulations. In simulation cloni...
150
click to vote
WOWMOM
2005
ACM
16 years 7 days ago
2005
ACM
IEEE 802.11 wireless local area networks that span large buildings or campuses must comprise multiple cells, several of which must necessarily be cochannel cells. It can be shown ...
209
click to vote
AVBPA
2005
Springer
16 years 6 days ago
2005
Springer
Pose and illumination changes from picture to picture are two main barriers toward full automatic face recognition. In this paper, a novel method to handle both pose and lighting c...
165
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...