2261 search results - page 300 / 453 » Modeling the Experimental Software Engineering Process |
170
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
144
click to vote
SIGIR
2005
ACM
15 years 12 months ago
2005
ACM
Context influences the search process, but to date research has not definitively identified which aspects of context are the most influential for information retrieval, and thus a...
140
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
146
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
136
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...