Sciweavers

1579 search results - page 30 / 316
» Simulation Model for Self-Adaptive Applications in Pervasive...
Sort
View
84
Voted
ICPADS
2006
IEEE
15 years 6 months ago
Experiences with Simulations - A Light and Fast Model for Secure Web Applications
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
Ramon Nou, Jordi Guitart, David Carrera, Jordi Tor...
NEUROSCIENCE
2001
Springer
15 years 5 months ago
Finite-State Computation in Analog Neural Networks: Steps towards Biologically Plausible Models?
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
Mikel L. Forcada, Rafael C. Carrasco
105
Voted
SIMULATION
1998
83views more  SIMULATION 1998»
15 years 4 days ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
WSC
2004
15 years 1 months ago
Data Farming: Discovering Surprise
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
Gary E. Horne, Theodore E. Meyer
TPHOL
2005
IEEE
15 years 6 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...