3564 search results - page 202 / 713 » Evaluating a Formal Modelling Language |
162
click to vote
ISMVL
2007
IEEE
16 years 23 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
151
click to vote
TSE
2008
15 years 6 months ago
2008
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few empirical studies exist which investigate the c...
160
click to vote
IM
2007
15 years 8 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...
167
click to vote
ADBIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
188
click to vote
CLEF
2005
Springer
16 years 14 hour ago
2005
Springer
In this paper, we describe our studies of cross-language and cross-media image retrieval at the ImageCLEF 2005. This is the first participation of our CUHK (The Chinese University...