4250 search results - page 63 / 850 » Understanding the Requirements on Modelling Techniques |
ENTCS
2007
13 years 9 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
As designers become more aggressive in introducing optical components to micro-systems, rigorous optical models are required for system-level simulation tools. Common optical mode...
DAGSTUHL
2006
13 years 10 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
IEAAIE
1999
Springer
14 years 1 months ago
1999
Springer
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...
ISVC
2007
Springer
14 years 3 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...