1824 search results - page 200 / 365 » Practices and Techniques for Engineering Process Capability ... |
127
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
103
click to vote
JCSS
2006
15 years 3 months ago
2006
Accurate network modeling is critical to the design of network protocols. Traditional modeling approaches, such as Discrete Time Markov Chains (DTMC) are limited in their ability ...
136
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
This paper presents a novel modeling algorithm that is capable of simultaneously recovering correct shape geometry as well as its unknown topology from arbitrarily complicated dat...
151
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
153
click to vote
CONCURRENCY
2002
15 years 3 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...