1750 search results - page 47 / 350 » E-Commerce Development Procedure |
108
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
108
Voted
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
A new numerical technique for periodic small signal analysis based on harmonic balance method is proposed. Special-purpose numerical procedures based on Krylov subspace methods ar...
96
Voted
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Managing a Help Desk staffed with part-time student workers can be quite a challenge. However, it has been the experience of the Louisiana State University Office of Computing Ser...
WEBI
2001
Springer
15 years 7 months ago
2001
Springer
Several researchers have suggested that Bayesian networks (BNs) should be used to manage the inherent uncertainty in information retrieval. However, it has been argued that manuall...