963 search results - page 100 / 193 » Formal Analysis of BPMN Models Using Event-B |
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
IJSWIS
2008
15 years 1 months ago
2008
One of the main strengths of the web is that it allows any party of its global community to share information with any other party. This goal has been achieved by making use of a u...
124
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
165
click to vote
CSAC
2006
15 years 2 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...
108
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...