Sciweavers

29152 search results - page 192 / 5831
» A Model of Computation for MapReduce
Sort
View
CAINE
2003
15 years 8 months ago
Development of a Computational Toolkit for Biomechanical Analysis and Simulation: The Vertebrate Analyzer
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
K. F. Hulme, F. C. Mendel, K. P. Chugh
CSREASAM
2006
15 years 8 months ago
A Visual Environment for Characterization of State Changes in Computer Systems
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
Gregory Vert, Sergiu M. Dascalu, Frederick C. Harr...
TGC
2007
Springer
16 years 19 days ago
Computational Soundness of Equational Theories (Tutorial)
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
Steve Kremer
EUSFLAT
2007
116views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Experiences in Soft Computing and Dynamical Simulation
The paper deals with the modelling of dynamical processes based on Soft Computing methods. The structure of a Dynamic Fuzzy Model is illustrated on a linear dynamic system of firs...
Wolfgang Kästner, Rainer Hampel
ACMSE
2000
ACM
15 years 11 months ago
Exploring an information-based approach to computation and computational complexity
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
D. E. Stevenson