Sciweavers

486 search results - page 56 / 98
» What Makes Process Models Understandable
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
14 years 1 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
FASE
2012
Springer
12 years 5 months ago
Cohesive and Isolated Development with Branches
The adoption of distributed version control (DVC), such as Git and Mercurial, in open-source software (OSS) projects has been explosive. Why is this and how are projects using DVC?...
Earl T. Barr, Christian Bird, Peter C. Rigby, Abra...
DEBU
2006
82views more  DEBU 2006»
13 years 10 months ago
Structured Queries Over Web Text
The Web contains a vast amount of text that can only be queried using simple keywords-in, documentsout search queries. But Web text often contains structured elements, such as hot...
Michael J. Cafarella, Oren Etzioni, Dan Suciu
JKM
2007
213views more  JKM 2007»
13 years 10 months ago
A systems-based dynamic knowledge transfer capacity model
Purpose – The purpose of this paper is twofold: to understand how recent developments in systems thinking and social construction can influence understanding of knowledge trans...
Robert Parent, Mario Roy, Denis St-Jacques
BMCBI
2008
103views more  BMCBI 2008»
13 years 10 months ago
TOPS++FATCAT: Fast flexible structural alignment using constraints derived from TOPS+ Strings Model
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...
Mallika Veeramalai, Yuzhen Ye, Adam Godzik