Sciweavers

5042 search results - page 685 / 1009
» Visions for application development on hybrid computing syst...
Sort
View
CSMR
2005
IEEE
16 years 10 days ago
Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
Orla Greevy, Stéphane Ducasse
MUM
2004
ACM
148views Multimedia» more  MUM 2004»
16 years 4 days ago
UMAR: Ubiquitous Mobile Augmented Reality
In this paper we discuss the prospects of using marker based Augmented Reality for context aware applications on mobile phones. We also present the UMAR, a conceptual framework fo...
Anders Henrysson, Mark Ollila
LPAR
2005
Springer
16 years 6 days ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
CONTEXT
2003
Springer
15 years 12 months ago
A SAT-Based Algorithm for Context Matching
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
Paolo Bouquet, Bernardo Magnini, Luciano Serafini,...
PDCAT
2004
Springer
16 years 2 days ago
GridCrypt: High Performance Symmetric Key Cryptography Using Enterprise Grids
Today’s cryptanalysis on symmetric key cryptography is encouraging the use of larger key sizes and complex algorithms to achieve an unbreakable state. However, this leads an inc...
Agus Setiawan, David Adiutama, Julius Liman, Aksha...