890 search results - page 132 / 178 » Programming language methods in computer security |
AUSFORENSICS
2004
13 years 11 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
CP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
EGC
2005
Springer
14 years 3 months ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...