1156 search results - page 22 / 232 » Compositional Methods for Information-Hiding |
EPEW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
FM
2003
Springer
14 years 23 days ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Video composition is important for music video production. In this paper we propose an automatic method to assist the music sports video composition operation. Our approach is bas...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
IACR
2011
12 years 7 months ago
2011
We derive an explicit method of computing the composition step in Cantor’s algorithm for group operations on Jacobians of hyperelliptic curves. Our technique is inspired by the g...