423 search results - page 42 / 85 » Formal access control analysis in the software development p... |
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
ICWSM
2009
13 years 6 months ago
2009
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...
WACC
1999
ACM
14 years 1 months ago
1999
ACM
Knowledge discovery in databases (KDD) is an increasingly widespread activity. KDD processes may entail the use of a large number of data manipulation and analysis techniques, and...