2106 search results - page 316 / 422 » Operational Semantics for MSC'96 |
ER
2006
Springer
15 years 1 months ago
2006
Springer
An issue in utilizing ontology in product information domain is how to make it operational. This requires considering the features to be included in a pragmatic product information...
ER
2000
Springer
15 years 1 months ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
100
click to vote
MPC
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
SPLST
2003
14 years 11 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...