1989 search results - page 273 / 398 » Modeling presentation layers of web applications for testing |
166
click to vote
BRAIN
2010
Springer
15 years 5 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
162
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
—Robotic surgical assistants are enhancing physician performance, enabling physicians to perform more delicate and precise minimally invasive surgery. However, these devices are ...
132
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
134
click to vote
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
136
click to vote
JVCIR
2007
15 years 4 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...