1186 search results - page 226 / 238 » A New Approach to Secure Logging |
ICDCS
2008
IEEE
14 years 1 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
DAGSTUHL
2010
13 years 8 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
EWSA
2004
Springer
14 years 23 days ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...