15155 search results - page 2602 / 3031 » System Software |
182
click to vote
WMASH
2003
ACM
16 years 2 days ago
2003
ACM
To be widely adopted, location-aware computing must be as effortless, familiar and rewarding as web search tools like Google. We envisage the global scale Place Lab, consisting of...
191
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
173
click to vote
ISMVL
2010
IEEE
15 years 12 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
171
click to vote
CF
2010
ACM
15 years 12 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
171
Voted
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
The MPEG-4 standard specifies a set of low-level animation parameters for body animation, but does not provide any high-level functionality for the control of avatars or embodied...