4418 search results - page 782 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
173
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 11 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
174
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
Automated trust negotiation is the process of establishing trust between entities with no prior relationship through the iterative disclosure of digital credentials. One approach ...
178
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
212
click to vote
ERSA
2007
15 years 7 months ago
2007
Abstract: If the computational demands of an interactive graphics rendering application cannot be met by a single commodity Graphics Processing Unit (GPU), multiple graphics accele...
143
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Hill-climbing search is the most commonly used search algorithm in ILP systems because it permits the generation of theories in short running times. However, a well known drawback...