783 search results - page 57 / 157 » The TextPro Tool Suite |
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we analyze our recent research on the use of document analysis techniques for metadata extraction from PDF papers. We describe a package that is designed to extract ...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—Chemiresistive (CR) sensors and sensor arrays coated with thiolate-monolayer-protected gold nanoparticle (MPN) interfaces show great promise for high-sensitivity multi-vapor ana...