Sciweavers

9018 search results - page 1466 / 1804
» 3D-Brain Model Software
Sort
View
ER
2005
Springer
186views Database» more  ER 2005»
16 years 6 days ago
Blueprints and Measures for ETL Workflows
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Panos Vassiliadis, Alkis Simitsis, Manolis Terrovi...
FOSSACS
2005
Springer
16 years 6 days ago
History-Based Access Control with Local Policies
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
FSTTCS
2005
Springer
16 years 6 days ago
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
Béatrice Bérard, Franck Cassez, Serg...
GCC
2005
Springer
16 years 6 days ago
Research on Semantic-Based Web Services Registry Federation
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
GECCO
2005
Springer
135views Optimization» more  GECCO 2005»
16 years 6 days ago
Dynamic optimization of migration topology in internet-based distributed genetic algorithms
Distributed Genetic Algorithms (DGAs) designed for the Internet have to take its high communication cost into consideration. For island model GAs, the migration topology has a maj...
Johan Berntsson, Maolin Tang
« Prev « First page 1466 / 1804 Last » Next »