Sciweavers

2392 search results - page 138 / 479
» informs 2000
Sort
View
CAISE
2000
Springer
15 years 8 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
DIAU
2000
Springer
15 years 7 months ago
Traffic Analysis: Protocols, Attacks, Design Issues, and Open Problems
We present the traffic analysis problem and expose the most important protocols, attacks and design issues. Afterwards, we propose directions for further research. As we are mostl...
Jean-François Raymond
CL
2000
Springer
15 years 3 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven
KES
2000
Springer
15 years 7 months ago
A fuzzy approach to adaptive hypermedia
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
Antonina Dattolo, Vincenzo Loia
IDA
2000
Springer
15 years 3 months ago
Relation-based aggregation: finding objects in large spatial datasets
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...
Xingang Huang, Feng Zhao