7167 search results - page 1206 / 1434 » A Technique for Invariant Generation |
215
click to vote
FMAM
2010
15 years 5 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
233
click to vote
ICDM
2010
IEEE
15 years 5 months ago
2010
IEEE
Ensemble clustering has emerged as an important elaboration of the classical clustering problems. Ensemble clustering refers to the situation in which a number of different (input)...
185
click to vote
ICES
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In an application where autonomous robots can amalgamate spontaneously into arbitrary organisms, the individual robots cannot know a priori at which location in an organi...
192
click to vote
IEAAIE
2010
Springer
15 years 5 months ago
2010
Springer
Remote sensing based on imagery has traditionally been the main tool used to extract land uses and land cover (LULC) maps. However, more powerful tools are needed in order to fulfi...
196
click to vote
IMC
2010
ACM
15 years 5 months ago
2010
ACM
This paper develops a high-performance, Internet-wide service discovery tool, which we call IRLscanner, whose main design objectives have been to maximize politeness at remote net...