1146 search results - page 119 / 230 » Formal Specification Generation from Requirement Documents |
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
154
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
125
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
157
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
136
click to vote
IJDAR
2006
15 years 4 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...