Sciweavers

1973 search results - page 181 / 395
» Issues in the Integration of IN and TMN
Sort
View
LAWEB
2007
IEEE
16 years 26 days ago
Designing the Interface of Rich Internet Applications
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
Matias Urbieta, Gustavo Rossi, Jeronimo Ginzburg, ...
MOBIQUITOUS
2007
IEEE
16 years 25 days ago
Combining GPS and GSM Cell-ID positioning for Proactive Location-based Services
—Mobile terminals with built-in GPS receivers are becoming more and more available, thus the public deployment of location-based services (LBS) becomes feasible. Upcoming LBS are...
Nico Deblauwe, Peter Ruppel
TPHOL
2007
IEEE
16 years 25 days ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
WETICE
2007
IEEE
16 years 25 days ago
Managing Confidential Data in the gLite Middleware
How to manage confidential data in the grid environment is a critical issue because users’ data can be saved in untrusted remote storages. This paper introduces a service to sto...
Diego Scardaci, Giordano Scuderi
HASE
2007
IEEE
16 years 24 days ago
Analytic Model for Web Anomalies Classification
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...
Nasser Alaeddine, Jeff Tian