4866 search results - page 271 / 974 » UML for Global Computing |
169
click to vote
IIE
2007
15 years 6 months ago
2007
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research...
209
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
236
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
201
click to vote
CGF
2006
15 years 6 months ago
2006
We propose a new technique for quad-dominant remeshing which separates the local regularity requirements from the global alignment requirements by working in two steps. In the fir...
220
Voted
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Accurately identifying corresponded landmarks from a
population of shape instances is the major challenge in
constructing statistical shape models. In general, shapecorrespondenc...