4418 search results - page 461 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
165
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A methodology using decoder banks is proposed for high-accuracy, fully automatic recognition of machine printed text across a wide range of challenging image qualities, without re...
184
Voted
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
174
click to vote
ICPADS
2006
IEEE
16 years 27 days ago
2006
IEEE
A critical issue in peer-to-peer (P2P) streaming systems is to find a peer that can provide required streaming data (eligibility determination) with good quality (quality optimiza...
228
Voted
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
174
Voted
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...