695 search results - page 28 / 139 » Linking Business Modelling to Socio-technical System Design |
100
click to vote
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
151
click to vote
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
OTM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Implementing a multi-tone (MT) architecture for high-speed backplane electrical links is difficult given the tight power and complexity constraints in this application. This pa...