3161 search results - page 142 / 633 » A Discourse on Complexity of Process Models |
169
click to vote
JCSS
2011
14 years 10 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
106
click to vote
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
We consider collisions of moving breathers (MBs) in the Peyrard-Bishop DNA model. Two identical stationary breathers, separated by a fixed number of pair-bases, are perturbed and b...
126
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
149
click to vote
3DIM
1999
IEEE
15 years 7 months ago
1999
IEEE
Modeling of 3D objects from image sequences is a challenging problem and has been a research topic for many years. Important theoretical and algorithmic results were achieved that...
136
Voted
FORTE
2010
15 years 4 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...