Sciweavers

10604 search results - page 311 / 2121
» Computational Fluid Dynamics
Sort
View
199
Voted
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 8 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
INTERACT
2003
15 years 8 months ago
In Search of Resonant Human Computer Interaction: Building and Testing Aesthetic Installations
: Resonance (Gibson, 1986) of users while interacting with a product should be a key issue in the development of human computer interaction. Because resonance requires developing o...
Caroline Hummels, Philip R. Ross, Kees Overbeeke
GECCO
2008
Springer
149views Optimization» more  GECCO 2008»
15 years 7 months ago
Real-time imitation-based adaptation of gaming behaviour in modern computer games
In the course of the recent complexification and sophistication of commercial computer games, the creation of competitive artificial players that are able to behave intelligentl...
Steffen Priesterjahn, Alexander Weimer, Markus Ebe...
JCP
2008
125views more  JCP 2008»
15 years 6 months ago
Comparative Analysis of Resource Discovery Approaches in Grid Computing
Grid technologies enable the sharing of a wide variety of distributed resources. To utilize these resources, effective Resource Management systems are needed. Resource Management s...
Anju Sharma, Seema Bawa
JSW
2007
119views more  JSW 2007»
15 years 6 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi