9425 search results - page 138 / 1885 » Some Notes on Models and Modelling |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time ...
CMMR
2005
Springer
14 years 12 months ago
2005
Springer
The Brass project aims to deliver software virtual musical instruments (trumpet, trombone, tenor saxophone) based on physical modelling. This requires to work on some aspects of th...
NETWORKING
2004
14 years 11 months ago
2004
Having in mind that real-time streams tolerate some deadline misses according to (m,k)-firm constraints [1], this paper presents a solution that consists in integrating (m,k)-firm ...
WSC
2001
14 years 11 months ago
2001
This paper describes some identifiable trends in the manufacturing industry regarding the increased use of simulation tools, especially by small- to medium-sized companies. These ...