11436 search results - page 276 / 2288 » Modeling Real Reasoning |
126
click to vote
FMSD
2006
15 years 3 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
150
Voted
ENTCS
2007
15 years 3 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
125
Voted
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
139
Voted
WSC
2007
15 years 6 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
130
Voted
IJVR
2007
15 years 3 months ago
2007
—The present article discusses and details the methodological approaches and the reconstruction strategies that have been employed to realize the 3D real-time virtual simulations...