Sciweavers

14670 search results - page 84 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
POST
2012
218views more  POST 2012»
12 years 3 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
ICDIM
2007
IEEE
14 years 2 months ago
A product retrieval system robust to subjective queries
: In this paper, we propose a method for retrieving products that match users’ search queries written in natural language. We use a large amount of product reviews written by con...
Kenji Sugiki, Shigeki Matsubara
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
14 years 1 months 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...
CORR
2007
Springer
147views Education» more  CORR 2007»
13 years 8 months ago
Model Checking Synchronized Products of Infinite Transition Systems
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
Stefan Wöhrle, Wolfgang Thomas
HCI
2007
13 years 9 months ago
A Workflow Based Management System for Virtual Teams in Production Networks
The overall objective of this research project is the development and evaluation of a flexible and cooperative management system within SME based production networks for the ramp-u...
Bernhard Zimolong, Bjoern Krämer