2143 search results - page 192 / 429 » corr 2010 |
137
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
197
click to vote
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
15 years 6 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
127
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In [Spi], we developed a category of databases in which the schema of a database is represented as a simplicial set. Each simplex corresponds to a table in the database. There, our...
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In recent years, social media has become ubiquitous and important for social networking and content sharing. And yet, the content that is generated from these websites remains larg...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...