1423 search results - page 211 / 285 » Quantum logic as a dynamic logic |
194
click to vote
ICDCS
2011
IEEE
14 years 5 months ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
150
click to vote
WWW
2009
ACM
16 years 6 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 ...
167
click to vote
WWW
2004
ACM
16 years 6 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...
164
click to vote
VLSID
2001
IEEE
16 years 6 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...
170
click to vote
AINA
2007
IEEE
16 years 16 days ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...