4476 search results - page 525 / 896 » A flexible framework for engineering |
292
click to vote
ICTL
1994
15 years 11 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
182
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
143
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper introduces a new framework of the multiple-input multiple-output (MIMO) detection in iterative receivers. Unlike the conventional methods processing with symbol lattice,...
203
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Current social networks implement very simple protection mechanisms, according to which a user can state whether his/her personal data, relationships, and resources should be eith...
169
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...