5634 search results - page 222 / 1127 » About Abstract Classes |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
JUCS
2008
14 years 11 months ago
2008
Abstract: The thematic text segmentation task consists in identifying the most important thematic breaks in a document in order to cut it into homogeneous passages. We propose in t...
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...