1886 search results - page 15 / 378 » Verifying and validating a simulation model |
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
3DIM
2001
IEEE
14 years 2 months ago
2001
IEEE
We present a complete data acquisition and processing chain for the reliable inspection of industrial parts considering anisotropic noise. Data acquisition is performed with a str...
KESAMSTA
2010
Springer
13 years 9 months ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
PROVSEC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
RSP
1999
IEEE
14 years 3 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...