57 search results - page 2 / 12 » Composing Invariants |
CSFW
1995
IEEE
13 years 8 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
CVPR
2009
IEEE
15 years 12 days ago
2009
IEEE
Several recently-proposed architectures for highperformance
object recognition are composed of two main
stages: a feature extraction stage that extracts locallyinvariant
feature...
JSC
2010
13 years 2 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
ICWS
2010
IEEE
13 years 3 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...