Sciweavers

450 search results - page 5 / 90
» Process Materialization Using Templates and Rules to Design ...
Sort
View
FDL
2004
IEEE
13 years 11 months ago
GBLD: A Formal Model for Layout Description and Generation
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
I-Lun Tseng, Adam Postula
ICSOC
2004
Springer
14 years 25 days ago
Hybrid web service composition: business processes meet business rules
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
Anis Charfi, Mira Mezini
WSC
1997
13 years 8 months ago
Arena Software Tutorial
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
David A. Takus, David M. Profozich
ICRA
2007
IEEE
131views Robotics» more  ICRA 2007»
14 years 1 months ago
Design of an Automated Handling System for Limp, Flexible Sheet Lasagna Pasta
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
René J. Moreno Masey, Darwin G. Caldwell
FDL
2008
IEEE
13 years 9 months ago
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
Jinhyun Cho, Soonwoo Choi, Soo Chae