Sciweavers

6014 search results - page 932 / 1203
» Structural Testing with Use Cases
Sort
View
JSW
2008
167views more  JSW 2008»
15 years 4 months ago
An Approach to Discover Dependencies between Service Operations
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...
Shuying Yan, Jing Wang 0002, Chen Liu, Lei Liu
ET
2007
67views more  ET 2007»
15 years 4 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
AI
2004
Springer
15 years 4 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
COMCOM
2000
105views more  COMCOM 2000»
15 years 4 months ago
Security broker for multimedia wireless LANs
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement a number of security services such as authentication, key exchange and real-time e...
Aura Ganz, Se Hyun Park, Zvi Ganz
DEDS
2000
106views more  DEDS 2000»
15 years 4 months ago
Simulation Budget Allocation for Further Enhancing the Efficiency of Ordinal Optimization
Abstract. Ordinal Optimization has emerged as an efficient technique for simulation and optimization. Exponential convergence rates can be achieved in many cases. In this paper, we...
Chun-Hung Chen, Jianwu Lin, Enver Yücesan, St...