Sciweavers

4810 search results - page 240 / 962
» Modeling Value Speculation
Sort
View
CCGRID
2005
IEEE
16 years 6 days ago
Application-level simulation modelling of large grids
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
Serafeim Zanikolas, Rizos Sakellariou
CSB
2005
IEEE
163views Bioinformatics» more  CSB 2005»
16 years 6 days ago
A symbolic approach to the simulation of biochemical models: application to circadian rhythms
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
Federico Fontana, Luca Bianco, Vincenzo Manca
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
16 years 5 days ago
Organizational Culture and the Performance of Critical Infrastructure: Modeling and Simulation in Socio-Technological Systems
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
Richard G. Little
ICTAC
2005
Springer
16 years 2 days ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
MIRRORBOT
2005
Springer
157views Robotics» more  MIRRORBOT 2005»
16 years 2 days ago
LARP, Biped Robotics Conceived as Human Modelling
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
Umberto Scarfogliero, Michele Folgheraiter, Giusep...