515 search results - page 29 / 103 » FiPRe: An Implementation Model to Enable Self-Reconfigurable... |
180
click to vote
ECMAST
1999
Springer
15 years 6 months ago
1999
Springer
The objectives of the CATI project (Charging and Accounting Technology for the Internet) include the design, implementation, and evaluation of charging and accounting mechanisms f...
194
click to vote
TSE
2012
13 years 4 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
232
click to vote
RTAS
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
162
click to vote
HPDC
2011
IEEE
14 years 5 months ago
2011
IEEE
We investigate proactive dynamic load balancing on multicore systems, in which threads are continually migrated to reduce the impact of processor/thread mismatches to enhance the ...
147
click to vote
IJITN
2010
14 years 11 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...