2687 search results - page 484 / 538 » Formal Analysis of PKCS |
119
Voted
JUCS
2006
15 years 1 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
83
Voted
LRE
2006
15 years 1 months ago
2006
Only very recently have Vietnamese researchers begun to be involved in the domain of Natural Language Processing (NLP). As there does not exist any published work in formal linguis...
89
Voted
PR
2006
15 years 1 months ago
2006
Though most approaches to protein comparison are based on their structure, several studies produced evidence of a strict correlation between the surface characteristics of protein...
94
Voted
IJDAR
2007
15 years 1 months ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
119
Voted
IJISEC
2007
15 years 1 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...