3564 search results - page 252 / 713 » Evaluating a Formal Modelling Language |
210
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
169
click to vote
CBSE
2007
Springer
16 years 23 days 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...
170
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
143
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
204
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...