5525 search results - page 252 / 1105 » Verification of Model Transformations |
168
click to vote
JLP
2006
15 years 4 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
122
Voted
IJNSEC
2010
14 years 11 months ago
2010
In this paper, we construct two verifiable attribute-based encryption (VABE) schemes. One is with a single authority, and the other is with multi authorities. Not only our schemes ...
132
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper describes an online learning method of color transformation for interactive object recognition. In order to recognize objects under various lighting conditions, the sys...
139
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
182
click to vote
AGP
2010
IEEE
15 years 9 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...