7557 search results - page 1259 / 1512 » Modeling Timed Concurrent Systems |
293
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
171
click to vote
PERCOM
2008
ACM
16 years 7 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
171
click to vote
ISQED
2009
IEEE
16 years 2 months ago
2009
IEEE
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...
200
Voted
ICST
2009
IEEE
16 years 2 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
189
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—With the power consumption issue of mobile handset taken into account, Single-carrier FDMA (SC-FDMA) has been selected for 3GPP Long-Term Evolution (LTE) uplink multiple access ...