795 search results - page 126 / 159 » A Formal Approach to Heterogeneous Software Modeling |
113
Voted
JOT
2006
15 years 3 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
163
click to vote
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
132
click to vote
WECWIS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
136
click to vote
CBSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
110
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...