6607 search results - page 692 / 1322 » Making TeX Work |
199
click to vote
DMSN
2010
ACM
15 years 8 months ago
2010
ACM
Sensor nodes constitute inexpensive, disposable devices that are often scattered in harsh environments of interest so as to collect and communicate desired measurements of monitor...
216
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
221
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
The prevalent nature of Internet makes it a well suitable medium for many new types of services such as location-based services and streaming content. Subscribers to such services ...
196
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Real-world measurements play an important role in understanding the characteristics and in improving the operation of BitTorrent, which is currently a popular Internet ap...
188
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
The recent emergence of clouds is making the vision of utility computing realizable, i.e. computing resources and services can be delivered, utilized, and paid for as utilities su...