Sciweavers

648 search results - page 85 / 130
» A Proposal for ASM Diagrams
Sort
View
COOPIS
2004
IEEE
14 years 18 days ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...
CAISE
2006
Springer
14 years 18 days ago
Translating Standard Process Models to BPEL
Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation langu...
Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur...
DIS
2006
Springer
14 years 16 days ago
Symmetric Item Set Mining Based on Zero-Suppressed BDDs
In this paper, we propose a method for discovering hidden information from large-scale item set data based on the symmetry of items. Symmetry is a fundamental concept in the theory...
Shin-ichi Minato
DATE
2000
IEEE
92views Hardware» more  DATE 2000»
14 years 14 days ago
An Efficient Heuristic Approach to Solve the Unate Covering Problem
The classical solving approach for two-level logic minimisation reduces the problem to a special case of unate covering and attacks the latter with a (possibly limited) branch-and...
Roberto Cordone, Fabrizio Ferrandi, Donatella Sciu...
OODBS
2000
147views Database» more  OODBS 2000»
14 years 13 days ago
Towards a Unified Query-by-Example (UQBE): UML as a Basis for a Generic Graphical Query Language
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
Miguel Ángel Sicilia Urbán, Elena Ga...