3943 search results - page 328 / 789 » Architecture-Level Requirements Specification |
209
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...
163
Voted
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. An approach is presented to guide the benchmarking of invoice analysis systems, a specific, applied subclass of document analysis systems. The state of the art of benchma...
208
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
188
click to vote
EELC
2006
15 years 10 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
190
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...