1004 search results - page 192 / 201 » Process Equivalence: Comparing Two Process Models Based on O... |
IEEECIT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Software clustering is a method for increasing software system understanding and maintenance. Software designers, first use MDG graph to model the structure of software system. ...
AUTOMATICA
2008
13 years 7 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
IMSCCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of biological classification problems. However, the proc...
VLSID
2010
IEEE
13 years 5 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
BMCBI
2010
13 years 7 months ago
2010
Background: Sub-cellular structures interact in numerous direct and indirect ways in order to fulfill cellular functions. While direct molecular interactions crucially depend on s...