2687 search results - page 303 / 538 » Formal Analysis of PKCS |
180
click to vote
SKG
2006
IEEE
16 years 1 months 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...
211
click to vote
APSEC
2005
IEEE
16 years 25 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 ...
191
click to vote
ICECCS
2005
IEEE
16 years 24 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...
219
click to vote
WISE
2005
Springer
16 years 23 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...
202
click to vote
CAV
2005
Springer
16 years 22 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...