1536 search results - page 284 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
CAISE
2010
Springer
13 years 7 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Ac electrokinetic flows are commonly used for manipulating micron-scale particles in a biosensor system. At the solid-liquid state there are two kinds of processes in the reaction...
COMCOM
2006
13 years 7 months ago
2006
Proportional delay differentiation (PDD) model is an important approach for relative differentiated services provisioning on the Internet. It aims to maintain pre-specified packet ...
NN
2006
Springer
13 years 7 months ago
2006
Springer
Identification of the short DNA sequence motifs that serve as binding targets for transcription factors is an important challenge in bioinformatics. Unsupervised techniques from t...
TIP
2008
13 years 7 months ago
2008
The number of slices for error resilient video coding is jointly optimized with 802.11a-like media access control and the physical layers with automatic repeat request and rate com...