1722 search results - page 286 / 345 » Ontology Formalism Transformation |
177
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a variation of the iterative closest point (ICP) algorithm for aligning two point sets under a set of transformations. Our algorithm is superior to previous algorithms...
144
click to vote
BPM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
161
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
201
click to vote
PROVSEC
2007
Springer
16 years 27 days ago
2007
Springer
In a threshold broadcast encryption scheme, a sender chooses (ad-hoc) a set of n receivers and a threshold t, and then encrypts a message by using the public keys of all the recei...
172
click to vote
ANSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...