Searching for "Type Specifications with Processes." – sorted by Relevance.
-
Type Specifications with Processes
- Type Specifications with Processes Franz Puntigam Technische Universitat Wien Institut fur
- Cited by 11 (6 self) – Add To MetaCart
-
Customized Information Extraction as a Basis for Resource Discovery
- processing to extract information effectively. In this paper we present a model for type-specific
- Cited by 26 (5 self) – Add To MetaCart
-
Customized Information Extraction as a Basis for Resource Discovery
- processing to extract information effectively. In this paper we present a model for type-specific
- Add To MetaCart
-
The Random-Cluster Model
- for their compatiblity. Specification formalisms, like algebraic data type specification, the process calculus CCS
- Add To MetaCart
-
Using the ASTRAL Model Checker to Analyze Mobile IP
- in the appendix of [5]. There are three process types in the specification: ProcessInitiator, Process
- Cited by 12 (8 self) – Add To MetaCart
-
Composition norm dynamics calculation with conceptual graphs
- , there are twelve customized specification processes, such as ‘Create Type’ or ‘Terminate State
- Cited by 5 (4 self) – Add To MetaCart
-
An Implementation of Discriminated Unions in C++
- : containing a specific set of types, by instantiating with a
- Add To MetaCart
-
Interoperable GIS and Spatial Process
- significant problems to be resolved such as data type specific processing, security, meta-data, and version
- Add To MetaCart
-
NTT DATA TREC-9 Question Answering Track Report
- are described below. 2.1 Answer type specification The answer type specification is a processing step in which
- Add To MetaCart
-
A Framework for the Hazard Analysis of Chemical Plants
- of hybrid systems obtaining re-usable specification modules (generic process type definitions
- Cited by 9 (7 self) – Add To MetaCart

