Sciweavers

6796 search results - page 954 / 1360
» Java for Embedded Systems
Sort
View
142
Voted
CC
2005
Springer
153views System Software» more  CC 2005»
15 years 10 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
150
Voted
ADAEUROPE
2004
Springer
15 years 10 months ago
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...
Thomas Vergnaud, Jérôme Hugues, Laure...
EGOV
2004
Springer
15 years 10 months ago
M-GIS - Mobile and Interoperable Access to Geographic Information
This paper describes an architecture which can be used to access geographic information from mobile devices with limited display and processing characteristics, such as Personal Di...
Jorge Cardoso, Artur Rocha, João Correia Lo...
EUROPAR
2004
Springer
15 years 10 months ago
OLAP Query Processing in a Database Cluster
OLAP queries are typically heavy-weight and ad-hoc thus requiring high storage capacity and processing power. In this paper, we address this problem using a database cluster which...
Alexandre A. B. Lima, Marta Mattoso, Patrick Valdu...
140
Voted
ICFEM
2004
Springer
15 years 10 months ago
A Formal Monitoring-Based Framework for Software Development and Analysis
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
Feng Chen, Marcelo d'Amorim, Grigore Rosu