Sciweavers

4205 search results - page 609 / 841
» Typed Mobile Objects
Sort
View
DIAGRAMS
2008
Springer
13 years 10 months ago
Cognitive Methods for Visualizing Space, Time, and Agents
Visualizations of space, time, and agents (or objects) are ubiquitous in science, business, and everyday life, from weather maps to scheduling meetings. Effective communications, i...
Angela M. Kessell, Barbara Tversky
ER
2008
Springer
128views Database» more  ER 2008»
13 years 10 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
FMOODS
2008
13 years 9 months ago
Semantic Foundations and Inference of Non-null Annotations
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
Laurent Hubert, Thomas P. Jensen, David Pichardie
ICSOFT
2008
13 years 9 months ago
Relationship Between Fractal Dimension and Sensitivity Index of Product Packaging
Until now, the evaluation of product packaging has been performed subjectively since no other way existed. Previous research has also shown that people tend to prefer images with h...
Mayumi Oyama-Higa, Tiejun Miao
HPCNCS
2007
13 years 9 months ago
A Formal Approach for Identity Management in Federated Web Services
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...