3166 search results - page 283 / 634 » Translation By Structural Correspondences |
178
click to vote
WECWIS
2006
IEEE
16 years 22 days ago
2006
IEEE
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
146
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to operate at systemlevel. We present a UML 2.0 profile of the SystemC language expl...
167
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
177
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
192
click to vote
EMISA
2005
Springer
16 years 7 days ago
2005
Springer
: XML is an effective universal data-interchange format, and XML Schema has become the preeminent mechanism for describing valid XML document structures. Generalization/specializat...