648 search results - page 118 / 130 » Software requirements validation via task analysis |
ICDE
2010
IEEE
15 years 1 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
SCAM
2006
IEEE
15 years 5 months ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
133
click to vote
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
111
click to vote
JOT
2008
14 years 11 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
In this paper, we describe a method for structural noun phrase disambiguation which mainly relies on the examination of the text corpus under analysis and doesn't need to int...