22 search results - page 4 / 5 » Definition and Correct Refinement of Operation Specification... |
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
WWW
2010
ACM
13 years 6 months ago
2010
ACM
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
TPDS
2002
13 years 5 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
GI
2009
Springer
13 years 3 months ago
2009
Springer
: In Bayesian identification an ID source is in conflict with the other ID sources, if both provide substantially different, reliable information on a tracked object. After discuss...