1357 search results - page 76 / 272 » Compositional analysis for linear systems |
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
EUROCRYPT
2006
Springer
14 years 2 months ago
2006
Springer
We construct a fully collusion resistant tracing traitors system with sublinear size ciphertexts and constant size private keys. More precisely, let N be the total number of users...
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
ESOP
2011
Springer
13 years 1 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
ICRA
1993
IEEE
14 years 2 months ago
1993
IEEE
This work is focused on the analysis of manipulators with both joint and link flexibility. Due to the different order of joint and link stiffness, the full-order nonlinear system ...