1528 search results - page 239 / 306 » Performance Assertion Checking |
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
As ancient documents are being digitized, systems for retrieving documents or images can now be found in Digital Libraries. With regard to illustrations, the content-based image r...
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
EUC
2004
Springer
13 years 11 months ago
2004
Springer
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...