10916 search results - page 2048 / 2184 » On Constructive Connectives and Systems |
179
click to vote
KCAP
2005
ACM
16 years 6 hour ago
2005
ACM
While storytelling has long been recognized as an important part of effective knowledge management in organizations, knowledge management technologies have generally not distingui...
175
click to vote
SACMAT
2005
ACM
16 years 3 hour ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
186
click to vote
SACMAT
2005
ACM
16 years 3 hour ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
198
click to vote
TLDI
2005
ACM
16 years 1 hour ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
137
click to vote
TLDI
2005
ACM
16 years 1 hour ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....