3256 search results - page 139 / 652 » Applications of Formal Methods to System Design and Verifica... |
138
Voted
ACSD
1998
IEEE
15 years 9 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
127
Voted
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
168
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...
141
click to vote
ICIP
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a data embedding method for image communication applications. Our goal is to implement novel multimedia applications such as multi-language captions, interactive progra...
124
Voted
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...