1722 search results - page 286 / 345 » Ontology Formalism Transformation |
3DIM
2007
IEEE
14 years 4 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...
BPM
2007
Springer
14 years 4 months 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...
MODELS
2007
Springer
14 years 4 months 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...
PROVSEC
2007
Springer
14 years 4 months 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...
ANSS
2006
IEEE
14 years 4 months 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...