Sciweavers

6014 search results - page 331 / 1203
» Structural Testing with Use Cases
Sort
View
ECOI
2008
84views more  ECOI 2008»
15 years 4 months ago
Towards a structured approach to building qualitative reasoning models and simulations
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
Bert Bredeweg, Paulo Salles, Anders Bouwer, Jochem...
IWIA
2006
IEEE
15 years 10 months ago
Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
Ole Martin Dahl, Stephen D. Wolthusen
150
Voted
ASPDAC
2006
ACM
123views Hardware» more  ASPDAC 2006»
15 years 8 months ago
Efficient static timing analysis using a unified framework for false paths and multi-cycle paths
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
Shuo Zhou, Bo Yao, Hongyu Chen, Yi Zhu, Chung-Kuan...
CORR
1999
Springer
76views Education» more  CORR 1999»
15 years 4 months ago
Resolving Part-of-Speech Ambiguity in the Greek Language Using Learning Techniques
This article investigates the use of Transformation-Based Error-Driven learning for resolving part-of-speech ambiguity in the Greek language. The aim is not only to study the perf...
Georgios Petasis, Georgios Paliouras, Vangelis Kar...
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
16 years 5 months ago
Querying Structured Text in an XML Database
XML databases often contain documents comprising structured text. Therefore, it is important to integrate "information retrieval style" query evaluation, which is well-s...
Shurug Al-Khalifa, Cong Yu, H. V. Jagadish