4872 search results - page 235 / 975 » CBR for Modeling Complex Systems |
154
click to vote
JUCS
2008
15 years 5 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
190
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
127
click to vote
IADIS
2004
15 years 6 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
169
click to vote
SDL
2003
15 years 6 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
153
click to vote
TOG
2008
15 years 5 months ago
2008
In this paper, we describe a new system for converting a user's freehand sketch of a tree into a full 3D model that is both complex and realistic-looking. Our system does thi...