4636 search results - page 726 / 928 » Application of Linguistic Techniques for Use Case Analysis |
EUROGP
2009
Springer
15 years 5 months ago
2009
Springer
Coevolution often gives rise to counter-intuitive dynamics that defy our expectations. Here we suggest that much of the confusion surrounding coevolution results from imprecise not...
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
ISBI
2007
IEEE
15 years 5 months ago
2007
IEEE
Pittsburg Compound B (PIB) is a Positron Emission Tomography (PET) radio tracer used to image in-vivo, beta amyloid plaques which are one of the major histopathological hallmarks ...
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
ISPEC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. With the increased use of Internet and information technology all over the world, there is an increased amount of criminal activities that involve computing and digital d...