8056 search results - page 1517 / 1612 » Object Behavior Analysis |
167
Voted
ESAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The fact that security is a critical problem when implementing mobile ad hoc networks (MANETs) is widely acknowledged. One of the different kinds of misbehavior a node ma...
141
click to vote
DAWAK
2006
Springer
15 years 6 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
123
Voted
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Web servers are ubiquitous, remotely accessible, and often misconfigured. In addition, custom web-based applications may introduce vulnerabilities that are overlooked even by the ...
155
Voted
LCTRTS
2000
Springer
15 years 6 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
131
click to vote
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...