2302 search results - page 342 / 461 » Modeling Intergovernmental Collaboration: A System Dynamics ... |
163
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
184
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
116
click to vote
INFSOF
2006
15 years 4 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
181
click to vote
IRREGULAR
1997
Springer
15 years 8 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
115
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...