4695 search results - page 859 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
186
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
193
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
151
click to vote
SOSP
1993
ACM
15 years 7 months ago
1993
ACM
Many operating systems allow user programs to specify the protectionlevel (inaccessible, read-only, read-write) of pages in their virtual memory address space, and to handle any p...
151
click to vote
ANOR
2007
15 years 6 months ago
2007
The profitability and morale of many organizations (such as factories, hospitals and airlines) are affected by their ability to schedule their personnel properly. Sophisticated an...
190
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Community QA portals provide an important resource for non-factoid question-answering. The inherent noisiness of user-generated data makes the identification of high-quality cont...