Sciweavers

537 search results - page 44 / 108
» The development process of the UN CEFACT modeling methodolog...
Sort
View
146
Voted
APSEC
2005
IEEE
15 years 9 months ago
Model-Driven Semantic Web Service Composition
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
Roy Grønmo, Michael C. Jaeger
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
15 years 9 months ago
OCL-Constraints for UMM Business Collaborations
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
Birgit Hofreiter, Christian Huemer, Werner Winiwar...
WSC
2004
15 years 5 months ago
Simulation-Based Advanced WIP Management and Control in Semiconductor Manufacturing
We develop a hierarchical distributed production planning and control methodology, called DISCS, for a large and unstable semiconductor manufacturing process. The upper layer of D...
Kazuo Miyashita, Tsukasa Okazaki, Hirofumi Matsuo
FDL
2008
IEEE
15 years 5 months ago
UML Profile for Modeling Product Observation
Nowadays interactive electronics products offer a huge functionality to prospective customers, but often it is too huge and complex to be grasped and used successfully. In this ca...
Mathias Funk, Piet van der Putten, Henk Corporaal
RE
2010
Springer
14 years 11 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis