230 search results - page 27 / 46 » A Formally Founded Description Technique for Business Proces... |
ARC
2009
Springer
14 years 2 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
TOSEM
2010
13 years 2 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
CSAC
2006
13 years 9 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...