188 search results - page 36 / 38 » Quality Assessment of Enterprise Software Systems |
STTT
2010
13 years 2 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
SIGIR
2010
ACM
13 years 11 months ago
2010
ACM
Whole page relevance defines how well the surface-level representation of all elements on a search result page and the corresponding holistic attributes of the presentation respon...
CIKM
2006
Springer
13 years 9 months ago
2006
Springer
In an expert search task, the users' need is to identify people who have relevant expertise to a topic of interest. An expert search system predicts and ranks the expertise o...
ICPR
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract--The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring t...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...