12981 search results - page 446 / 2597 » Model Checking (Abstract) |
133
Voted
EPK
2006
15 years 6 months ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
125
Voted
FMOODS
2006
15 years 6 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
138
click to vote
FBT
1997
15 years 6 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
164
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
127
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
Abstract-- In experimentally assessing the stability and performance level of a large collection of controllers in feedback with a single unknown actual plant, we develop a method ...