6239 search results - page 72 / 1248 » From Zinc to Design Model |
137
click to vote
IWC
2007
15 years 4 months ago
2007
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...
162
click to vote
COMSNETS
2012
14 years 12 days ago
2012
—Recently, there has been significant research interest in leveraging social networks to defend against Sybil attacks. While much of this work may appear similar at first glanc...
124
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
177
click to vote
BXML
2003
15 years 6 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
132
click to vote
IM
2007
15 years 6 months ago
2007
— The objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (Simple Policy Language for CIM) that complies with the CIM (Common Inform...