778 search results - page 78 / 156 » Text Adaptation Using Formal Concept Analysis |
146
click to vote
CADE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
109
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
117
click to vote
AMR
2007
Springer
15 years 9 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
160
click to vote
DKE
2008
15 years 3 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
135
click to vote
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...