4480 search results - page 784 / 896 » Prototyping Completion with Constraints Using Computational ... |
176
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Much of the success of the Internet services model can be attributed to the popularity of a class of workloads that we call Online Data-Intensive (OLDI) services. These workloads ...
184
click to vote
SIGCOMM
2005
ACM
15 years 12 months ago
2005
ACM
Thousands of competing autonomous systems must cooperate with each other to provide global Internet connectivity. Each autonomous system (AS) encodes various economic, business, a...
193
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application ...
174
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
145
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...