256 search results - page 23 / 52 » Context Dependent Analysis of BioAmbients |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
APVIS
2006
13 years 9 months ago
2006
Centrality analysis determines the importance of vertices in a network based on their connectivity within the network structure. It is a widely used technique to analyse network-s...
CJ
2004
13 years 7 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
ISCC
2008
IEEE
14 years 2 months ago
2008
IEEE
Wireless sensor networks (WSNs) have emerged as the enabling technology for a wide range of applications. In the context of environmental monitoring, especially in urban scenarios...
IQIS
2004
ACM
14 years 1 months ago
2004
ACM
Data freshness has been identified as one of the most important data quality attributes in information systems. This importance increases particularly in the context of distribute...