2004 search results - page 197 / 401 » Comparison of Model Checking Tools for Information Systems |
247
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
224
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Probability based statistical learning methods such as mutual information and Bayesian networks have emerged as a major category of tools for reverse engineering mecha...
170
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an approach of a cross-lingual information retrieval which uses a ranking method based on a penalisation version of the Jaccard formula. The obtained results a...
189
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
218
click to vote
VRST
2005
ACM
16 years 18 days ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...