140 search results - page 12 / 28 » Interpretation and Transformation for Abstracting Conversati... |
FOSSACS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
104
click to vote
CN
1999
14 years 9 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
HAIS
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...