Sciweavers

8768 search results - page 84 / 1754
» Generalizing the notion of support
Sort
View
JCDL
2006
ACM
133views Education» more  JCDL 2006»
16 years 24 days ago
Repository software evaluation using the audit checklist for certification of trusted digital repositories
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...
Joanne Kaczmarek, Thomas G. Habing, Janet Eke
TPHOL
2005
IEEE
16 years 12 days ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
SAC
2005
ACM
16 years 12 days ago
Towards system software for physical space applications
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
Kaori Fujinami, Tatsuo Nakajima
SOFSEM
2005
Springer
16 years 9 days ago
Modeling Data Integration with Updateable Object Views
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankie...
CONCUR
2004
Springer
16 years 7 days ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel