1523 search results - page 161 / 305 » Partially ordered secretaries |
188
click to vote
LSSC
2007
Springer
15 years 11 months ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
137
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
177
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
150
click to vote
ASWEC
2006
IEEE
15 years 11 months ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
131
click to vote
ISPW
2006
IEEE
15 years 11 months ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...