215 search results - page 21 / 43 » Church-Rosser Made Easy |
EDBTW
2004
Springer
15 years 5 months ago
2004
Springer
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
DMKD
2003
ACM
15 years 5 months ago
2003
ACM
An inference problem exists in a multilevel database if knowledge of some objects in the database allows information with a higher security level to be inferred. Many such inferen...
100
click to vote
3DPVT
2002
IEEE
15 years 4 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Corruption or disclosure of sensitive user documents can be among the most lasting and costly effects of malicious software attacks. Many malicious programs specifically target fi...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...