3885 search results - page 420 / 777 » Clarifying Goal Models |
129
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
187
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
158
click to vote
IAT
2005
IEEE
16 years 10 days ago
2005
IEEE
One research focus of human-centered teamwork is on advanced decision architectures that can help people make effective and timely decisions. This requires distributed team member...
181
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents an experimental implementation of a low-complexity speaker recognition algorithm working in the compressed speech domain. The goal is to perform speaker modeli...
159
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...