269 search results - page 11 / 54 » Using model-based security analysis in component-oriented sy... |
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
GCC
2004
Springer
14 years 28 days ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
ICEBE
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
FOSSACS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
LISA
2004
13 years 9 months ago
2004
Analysis of network traffic is becoming increasingly important, not just for determining network characteristics and anticipating requirements, but also for security analysis. Sev...