809 search results - page 113 / 162 » Formal Semantics for the Java Modeling Language |
131
Voted
CBSE
2007
Springer
15 years 8 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...
165
click to vote
IS
2012
13 years 10 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
104
Voted
ICDT
1995
ACM
15 years 6 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
131
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
126
Voted
ENTCS
2010
15 years 2 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...