2586 search results - page 306 / 518 » Automatic Abstraction for Congruences |
153
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
142
click to vote
CLEAR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract Meeting transcription is one of the main tasks for large vocabulary automatic speech recognition (ASR) and is supported by several large international projects in the area...
172
click to vote
EDOC
2006
IEEE
16 years 17 days ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
173
click to vote
ISQED
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...
159
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...