4287 search results - page 254 / 858 » Minimal Mental Models |
183
click to vote
ATVA
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
196
click to vote
FPGA
2005
ACM
16 years 24 days ago
2005
ACM
Vdd-programmable FPGAs have been proposed recently to reduce FPGA power, where Vdd levels can be customized for different circuit elements and unused circuit elements can be powe...
180
click to vote
MSWIM
2004
ACM
16 years 21 days ago
2004
ACM
In case of natural disasters or intentional attacks, telecommunication networks often get heavily damaged and current resilience schemes have proven to be insufficient for rapid r...
212
click to vote
ICPP
2003
IEEE
16 years 17 days ago
2003
IEEE
Although Web prefetching is regarded as an effective method to improve client access performance, the associated overhead prevents it from being widely deployed. Specifically, a ...
209
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...