1341 search results - page 200 / 269 » Dynamic Testimonial Logic |
MASS
2010
13 years 4 months ago
2010
In Wireless Sensor Networks (WSN), data gathering using mobile sinks typically incurs constant propagation of sink location indication messages to guide the direction of data repor...
TVLSI
2010
13 years 3 months ago
2010
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
Many overload control mechanisms for Web based applications aim to prevent overload by setting limits on factors such as admitted load, number of server threads, buffer size. For ...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
ReAgents are remotely executing agents that customize Web browsing for non-standard resource-limited clients. A reAgent is essentially a "one-shot" mobile agent that act...
VLSID
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...