4469 search results - page 820 / 894 » A Language for Role Specifications |
202
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
173
click to vote
ICIW
2009
IEEE
15 years 3 months ago
2009
IEEE
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...
207
click to vote
ICWS
2009
IEEE
15 years 3 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
165
click to vote
AIRS
2010
Springer
15 years 3 months ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
156
click to vote
CLEIEJ
2010
15 years 3 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...