Sciweavers

2 search results - page 1 / 1
» Modular string-sensitive permission analysis with demand-dri...
Sort
View
ICSE
2009
IEEE-ACM
14 years 11 months ago
Modular string-sensitive permission analysis with demand-driven precision
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...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
HYBRID
2010
Springer
14 years 5 months ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft