8828 search results - page 214 / 1766 » Formal methods in practice |
155
click to vote
SPLC
2010
15 years 6 months ago
2010
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 ...
141
Voted
BIS
2009
15 years 2 months ago
2009
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 ...
156
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— 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...
148
Voted
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
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...
170
Voted
CCS
1993
ACM
15 years 9 months ago
1993
ACM
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...