2013 search results - page 217 / 403 » Happy New Year |
206
click to vote
NMR
2004
Springer
16 years 18 hour ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
179
click to vote
SBIA
2004
Springer
16 years 12 hour ago
2004
Springer
The number of ontologies publicly available and accessible through the web has increased in the last years, so that the task of finding similar terms1 among these structures becom...
155
click to vote
UML
2004
Springer
16 years 9 hour ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
162
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Numerous privacy models based on the k-anonymity property have been introduced in the last few years. While differing in their methods and quality of their results, they all focus...
163
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...