753 search results - page 55 / 151 » Fragments-based Model Reduction: Some Case Studies |
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
WSC
1998
13 years 10 months ago
1998
The relationship between the High Level Architecture and web-based simulation is discussed. The notion of interoperability is suggested as a binding force between these initiative...
DSRT
2004
IEEE
14 years 19 days ago
2004
IEEE
As Distributed Interactive Applications (DIAs) become increasingly more prominent in the video game industry they must scale to accommodate progressively more users and maintain a...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Optical character recognition (OCR) remains a difficult problem for noisy documents or documents not scanned at high resolution. Many current approaches rely on stored font models...