928 search results - page 117 / 186 » Interpolation-sequence based model checking |
113
click to vote
SMA
1995
ACM
15 years 4 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
94
Voted
ACISICIS
2010
IEEE
15 years 2 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
130
click to vote
ENTCS
2006
15 years 17 days ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
97
Voted
CGI
2004
IEEE
15 years 4 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
91
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...