11484 search results - page 445 / 2297 » Modeling in the Large and Modeling in the Small |
200
click to vote
ISAS
2004
Springer
16 years 10 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
164
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
The 3D Object MEdiator (3DOME 3 ) offers two services for handling 3D models: a modelshop and a renderfarm. These services can be consulted through the Internet. The modelshop mee...
186
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
147
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The use of subprocesses in large process models is an important step in modeling practice to handle complexity. While there are several advantages attributed to such a mo...
207
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...