Sciweavers

148 search results - page 12 / 30
» Nested Nets for Adaptive Systems
Sort
View
VLDB
2005
ACM
165views Database» more  VLDB 2005»
14 years 1 months ago
Semantic Adaptation of Schema Mappings when Schemas Evolve
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
Cong Yu, Lucian Popa
ICPP
2008
IEEE
14 years 2 months ago
Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamo...
FLAIRS
2008
13 years 10 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
14 years 16 days ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...
IANDC
2006
97views more  IANDC 2006»
13 years 7 months ago
Pure bigraphs: Structure and dynamics
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
Robin Milner