2361 search results - page 358 / 473 » Embedded Systems - Challenges and Work Directions |
141
click to vote
ENTCS
2008
15 years 4 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
148
click to vote
JUCS
2006
15 years 4 months ago
2006
This work analyses two heuristic algorithms based on the genetic evolution theory applied to direct sequence code division multiple access (DS/CDMA) communication systems. For diff...
106
click to vote
PSYCHNOLOGY
2006
15 years 3 months ago
2006
Most of the Virtual Environments (VE) currently available in the field of psychological treatments are designed to solve a specific problem (acrophobia, flying phobia, claustropho...
136
click to vote
JVCIR
2007
15 years 3 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
138
click to vote
VIROLOGY
2008
15 years 3 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...