Sciweavers

1483 search results - page 263 / 297
» Integrated Modeling of Business Value and Software Processes
Sort
View
ENGL
2007
71views more  ENGL 2007»
13 years 10 months ago
The Development of a Generic Technique for Flow Line Monitoring
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
C. S. Tang, C. Y. Chan, Kai-Leung Yung
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 2 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
TCAD
2010
121views more  TCAD 2010»
13 years 5 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
IWAN
2000
Springer
14 years 2 months ago
A Flexible IP Active Networks Architecture
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
Alex Galis, Bernhard Plattner, Jonathan M. Smith, ...
CAD
2002
Springer
13 years 10 months ago
Sharing Product Data among Heterogeneous Workflow Environments
Nowadays, we increasingly face the situation that possibly heterogeneous workflow environments must be integrated in order to support company-internal business processes as well a...
Markus Bon, Norbert Ritter, Theo Härder