Sciweavers

8828 search results - page 214 / 1766
» Formal methods in practice
Sort
View
SPLC
2010
15 years 6 months ago
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
141
Voted
BIS
2009
112views Business» more  BIS 2009»
15 years 2 months ago
Ontological Mapping of Information Security Best-Practice Guidelines
Abstract. Due to a rapid growth in the use of electronic data processing and networking, an information security management system with a holistic and widespread view becomes more ...
Stefan Fenz, Thomas Pruckner, Arman Manutscheri
IROS
2006
IEEE
114views Robotics» more  IROS 2006»
15 years 11 months ago
Smooth Collision Avoidance: Practical Issues in Dynamic Humanoid Motion
— In this paper we address smooth and collision-free whole-body motion planning for humanoid robots. A two-stage iterative planning framework is introduced where geometric motion...
Eiichi Yoshida, Claudia Esteves, Takeshi Sakaguchi...
148
Voted
NDSS
2003
IEEE
15 years 10 months ago
Traps and Pitfalls: Practical Problems in System Call Interposition Based Security Tools
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
Tal Garfinkel
170
Voted
CCS
1993
ACM
15 years 9 months ago
NetCash: A Design for Practical Electronic Currency on the Internet
NetCash is a framework that supports realtime electronic payments with provision of anonymity over an unsecure network. It is designed to enable new types of services on the Inter...
Gennady Medvinsky, B. Clifford Neuman