Sciweavers

1268 search results - page 130 / 254
» High Impact Requirements Engineering
Sort
View
ISSTA
2009
ACM
15 years 8 months ago
Memory slicing
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such...
Bin Xin, Xiangyu Zhang
COMPSAC
2006
IEEE
15 years 7 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
IUI
2004
ACM
15 years 7 months ago
Making critiquing practical: incremental development of educational critiquing systems
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
Lin Qiu, Christopher Riesbeck
CSMR
2003
IEEE
15 years 6 months ago
Software Clustering Techniques and the Use of Combined Algorithm
As the age of software systems increases they tend to deviate from their actual design and architecture. It becomes more and more difficult to manage and maintain such systems. We...
M. Saeed, Onaiza Maqbool, Haroon A. Babri, Syed Za...
APWEB
2003
Springer
15 years 6 months ago
A Framework for Decentralized Ranking in Web Information Retrieval
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
Karl Aberer, Jie Wu