2687 search results - page 303 / 538 » Formal Analysis of PKCS |
155
click to vote
SKG
2006
IEEE
16 years 19 days ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
192
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
177
click to vote
ICECCS
2005
IEEE
16 years 7 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
194
click to vote
WISE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
182
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...