Sciweavers

8555 search results - page 52 / 1711
» Property Based Coordination
Sort
View
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
14 years 2 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 3 months ago
Probability Based Clustering for Document and User Properties
Information Retrieval systems can be improved by exploiting context information such as user and document features. This article presents a model based on overlapping probabilistic...
Thomas Mandl, Christa Womser-Hacker
BIOINFORMATICS
2007
151views more  BIOINFORMATICS 2007»
13 years 8 months ago
A new protein-protein docking scoring function based on interface residue properties
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...
Julie Bernauer, Jérôme Azé, Jo...
DSD
2007
IEEE
96views Hardware» more  DSD 2007»
14 years 3 months ago
Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties
Jaroslav Skarvada, Tomas Herrman, Zdenek Kot&aacut...