Sciweavers

29082 search results - page 198 / 5817
» The Time-Triggered Model of Computation
Sort
View
CSREASAM
2006
15 years 5 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
15 years 10 months 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 5 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
139
Voted
ACMSE
2000
ACM
15 years 8 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
PAAPP
2007
115views more  PAAPP 2007»
15 years 3 months ago
Quantum computing: beyond the limits of conventional computation
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
Marius Nagy, Selim G. Akl