1210 search results - page 166 / 242 » Specifying Precise Use Cases with Use Case Charts |
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. As communication technologies are becoming more and more advanced, the opportunities to deliver improved, user friendly services using these technologies are increasing. ...
DSN
2008
IEEE
13 years 10 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
IJCAI
1997
13 years 10 months ago
1997
cal maps provide a useful abstraction for robotic navigation and planning. Although stochastic mapscan theoreticallybe learned using the Baum-Welch algorithm,without strong prior ...
WSC
1997
13 years 10 months ago
1997
Given a stationary simulation process with unknown mean µ , interest frequently lies in, and various methods exist for, developing estimates and confidence intervals for µ . Typ...
ENTCS
2006
13 years 9 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...