350 search results - page 24 / 70 » Improving application security with data flow assertions |
DAGSTUHL
2010
13 years 9 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...
FORTE
2004
13 years 9 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—The difficulty of processing data in encrypted form has long been the barrier to the widespread use of encryption in data storage applications; improved security or privacy wou...
FGCN
2007
IEEE
14 years 2 months ago
2007
IEEE
Parallel TCP streams are used for data transfer between clusters in today's high performance applications. When parallel TCP streams are used on LFN, part of streams fail to ...
MOBIQUITOUS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes the Middleware for Application Interconnection in Personal Area Networks (MAIPAN), a middleware that provides a uniform computing environment for creating dyna...