6020 search results - page 467 / 1204 » A New Approach to Model Counting |
180
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In these days, companies need highly flexible processes to deal with changing environments and competitors. Using traditional process models that have to be modeled in all detail...
164
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
189
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
CAD models of industrial installations usually have hundreds of millions of triangles. For this reason they cannot be interactively rendered in the current generation of computer h...
191
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
ABSTRACT. Risks associated with change in technology standards and uncertainty over the sharing of costs and benefits among trading partners impede interorganizational information ...
219
click to vote
ICPPW
2005
IEEE
16 years 17 days ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...