183 search results - page 6 / 37 » Details of Formalized Relations in Feature Models Using OCL |
ISNN
2005
Springer
14 years 29 days ago
2005
Springer
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...
MSCS
2008
13 years 7 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
ISIM
2007
13 years 9 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
BMCBI
2007
13 years 7 months ago
2007
Background: We present a probabilistic topic-based model for content similarity called pmra that underlies the related article search feature in PubMed. Whether or not a document ...
SIMUTOOLS
2008
13 years 8 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...