4418 search results - page 605 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
196
click to vote
GCC
2007
Springer
15 years 8 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
206
click to vote
BRAIN
2010
Springer
15 years 7 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...
185
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
186
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
181
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Massively parallel scientific applications, running on extreme-scale supercomputers, produce hundreds of terabytes of data per run, driving the need for storage solutions to im...