Sciweavers

1829 search results - page 43 / 366
» aims 2008
Sort
View
ENTCS
2008
79views more  ENTCS 2008»
14 years 12 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
DKE
2006
79views more  DKE 2006»
14 years 12 months ago
Schema versioning in data warehouses: Enabling cross-version querying via schema augmentation
As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage the chang...
Matteo Golfarelli, Jens Lechtenbörger, Stefan...
IJIIDS
2008
100views more  IJIIDS 2008»
14 years 12 months ago
A novel vehicle communication paradigm based on Cellular Networks for improving the safety in roads
: Main aim of Intelligent Transport Systems (ITS) applied to roads is to increase their safety. To achieve this aim, many researchers are focused on developing robust and efficient...
José Santa, Rafael Toledo-Moreo, Antonio F....
JCP
2008
112views more  JCP 2008»
14 years 11 months ago
Speech Displaces the Graphical Crowd
Developers of visual Interface Design Environments (IDEs), like Microsoft Visual Studio and Java NetBeans, are competing in producing pretty crowded graphical interfaces in order t...
Mohammad M. Alsuraihi, Dimitris I. Rigas
JIB
2008
87views more  JIB 2008»
14 years 11 months ago
2.5D Visualisation of Overlapping Biological Networks
Biological data is often structured in the form of complex interconnected networks such as protein interaction and metabolic networks. In this paper, we investigate a new problem ...
David Cho Yau Fung, Seok-Hee Hong, Dirk Koschü...