1556 search results - page 88 / 312 » Information Envelope and its Information Integrity Implicati... |
154
click to vote
JOOP
1998
15 years 6 months ago
1998
Ada ‘95 does not provide for a constructor mechanism with parameters for initializing newly created objects. The package Ada.Finalization provides an initialize procedure which ...
162
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
We present a conceptual framework for location-aware community systems and results from two studies of how sociallydefined places influence people's information sharing and c...
217
click to vote
ITP
2010
15 years 8 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
160
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
160
click to vote
JCDL
2006
ACM
16 years 7 days ago
2006
ACM
Exploring services for digital libraries (DLs) include two major paradigms, browsing and searching, as well as other services such as clustering and visualization. In this paper, ...