5863 search results - page 876 / 1173 » On Model-Checking of P Systems |
127
click to vote
JAT
2006
15 years 6 months ago
2006
We give an explicit parametrization of a set of almost periodic CMV matrices whose spectrum (is equal to the absolute continuous spectrum and) is a homogenous set E lying on the u...
182
Voted
JPDC
2008
15 years 6 months ago
2008
By splitting a large broadcast message into segments and broadcasting the segments in a pipelined fashion, pipelined broadcast can achieve high performance in many systems. In thi...
198
click to vote
DKE
2007
15 years 6 months ago
2007
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
172
click to vote
NCA
2006
IEEE
15 years 6 months ago
2006
IEEE
The goal of this paper is to design a new control algorithm for open-loop control of complex systems. This control approach is based on a genealogical decision tree for both regula...
187
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...