5615 search results - page 797 / 1123 » On the Computational Capabilities of Several Models |
214
Voted
DIMVA
2008
15 years 9 months ago
2008
Malicious software in form of Internet worms, computer viruses, and Trojan horses poses a major threat to the security of networked systems. The diversity and amount of its variant...
207
click to vote
SIMUTOOLS
2008
15 years 9 months ago
2008
In this paper we present DeSiNe, a modular flow-level network simulator. DeSiNe is aimed at performance analysis and benchmarking of Quality of Service routing algorithms and traf...
193
click to vote
CMPB
2010
15 years 7 months ago
2010
Recent advances in 4D imaging and real-time imaging provide image data with clinically important cardiac dynamic information at high spatial or temporal resolution. However, the en...
191
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
This work investigates new kinematic features of parallel manipulators. It is well known that parallel manipulators admit generally several direct kinematic solutions for a given ...
254
Voted
TDSC
2008
15 years 7 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...