988 search results - page 125 / 198 » Report on the XBase Project |
122
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The objectives of the research project described in this paper are (1) to develop reliable and valid measures for the components of online store image, and (2) to examine the infl...
129
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their bene...
188
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
143
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
150
Voted
ELPUB
2008
ACM
15 years 5 months ago
2008
ACM
Open Medicine (http://www.openmedicine.ca) is an electronic open access, peer-reviewed general medical journal that started publication in April 2007. The editors of Open Medicine...