1445 search results - page 20 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
146
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
186
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
172
click to vote
ICTAI
2007
IEEE
16 years 21 days ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
404
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract This paper presents Limpid Desk, which supports document search on a physical desktop by making the upper layer of a document stack transparent in a projection-based mixed...
176
click to vote
ASPLOS
2006
ACM
16 years 11 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...