Sciweavers

5754 search results - page 538 / 1151
» Multi-class Model M
Sort
View
224
Voted
ICIW
2007
IEEE
15 years 7 months ago
Analysis of Web Services Secure Conversation with Formal Methods
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...
AUTOMATICA
2007
68views more  AUTOMATICA 2007»
15 years 7 months ago
A risk adjusted approach to robust simultaneous fault detection and isolation
: In this paper we address the problem of detecting and isolating faults from noisy input/output measurements of a MIMO uncertain–system, subject to structured dynamic uncertaint...
Wenjing Ma, Mario Sznaier, Constantino M. Lagoa
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
15 years 7 months ago
On robustness of constrained discrete-time systems to state measurement errors
In this note we show that robustness with respect to additive disturbances implies robustness with respect to state measurement errors and additive disturbances for a class of dis...
B. J. P. Roset, W. P. M. H. Heemels, Mircea Lazar,...
FUIN
2006
78views more  FUIN 2006»
15 years 7 months ago
Resource-Constrained Workflow Nets
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
153
Voted
IPL
2008
84views more  IPL 2008»
15 years 7 months ago
Minimal proper interval completions
Given an arbitrary graph G = (V, E) and a proper interval graph H = (V, F) with E F we say that H is a proper interval completion of G. The graph H is called a minimal proper inte...
Ivan Rapaport, Karol Suchan, Ioan Todinca