1445 search results - page 20 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
KBSE
1997
IEEE
14 years 25 days 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...
CLOUD
2010
ACM
14 years 1 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...
ICTAI
2007
IEEE
14 years 2 months 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...
VR
2011
IEEE
13 years 9 days 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...
ASPLOS
2006
ACM
14 years 2 months 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...