Sciweavers

850 search results - page 109 / 170
» Globalization and Offshoring of Software
Sort
View
VMCAI
2005
Springer
15 years 3 months ago
Checking Herbrand Equalities and Beyond
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
Markus Müller-Olm, Oliver Rüthing, Helmu...
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
15 years 3 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
EDBTW
2004
Springer
15 years 3 months ago
MIRA: Multilingual Information Processing on Relational Architecture
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
A. Kumaran
EDBTW
2004
Springer
15 years 3 months ago
Relevance Feedback in XML Retrieval
Highly heterogeneous XML data collections that do not have a global schema, as arising, for example, in federations of digital libraries or scientific data repositories, cannot be...
Hanglin Pan
EUROPAR
2004
Springer
15 years 3 months ago
Designing Parallel Operating Systems via Parallel Programming
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, J...