623 search results - page 32 / 125 » Declarative Network Verification |
FORTE
2011
13 years 6 days ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
POPL
2009
ACM
14 years 9 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
DSOM
2006
Springer
14 years 12 days ago
2006
Springer
As the complexity of large-scale enterprise applications increases, providing performance verification through staging becomes an important part of reducing business risks associat...