Sciweavers

1477 search results - page 185 / 296
» Token flow control
Sort
View
ICSE
2003
IEEE-ACM
14 years 10 months ago
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
Jeffry T. Russell, Margarida F. Jacome
IFIP
2009
Springer
14 years 4 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
ICARCV
2006
IEEE
128views Robotics» more  ICARCV 2006»
14 years 4 months ago
Modeling Supply Chain Configuration Based on Colored Petri Nets
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
Lianfeng Zhang, Xiao You, Jianxin Jiao, Petri Helo
EDOC
2005
IEEE
14 years 3 months ago
Bridging the Gap between Data Warehouses and Business Processes: A Business Intelligence Perspective for Event-Driven Process Ch
Data Warehouse (DWH) information is accessed by business processes, and sometimes may also initiate changes of the control flow of business process instances. Today, there are no ...
Veronika Stefanov, Beate List
DNA
2005
Springer
166views Bioinformatics» more  DNA 2005»
14 years 3 months ago
A Microfluidic Device for DNA Tile Self-assembly
In order to self-assemble desired DNA nanostructure, it is necessary to suppress assembly errors caused by fluctuations of temperature and concentration. We propose a microfluidic ...
Koutaro Somei, Shohei Kaneda, Teruo Fujii, Satoshi...