4211 search results - page 534 / 843 » A formal approach to MASQ |
183
click to vote
ICMB
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
181
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
168
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
159
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
176
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...