Sciweavers

279 search results - page 18 / 56
» An Evaluation Framework for Controlled Natural Languages
Sort
View
MODELS
2007
Springer
14 years 1 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
IFIP
2010
Springer
13 years 5 months ago
Labeled VoIP Data-Set for Intrusion Detection Evaluation
Abstract. VoIP has become a major application of multimedia communications over IP. Many initiatives around the world focus on the detection of attacks against VoIP services and in...
Mohamed Nassar, Radu State, Olivier Festor
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 2 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
LREC
2008
136views Education» more  LREC 2008»
13 years 9 months ago
Adapting International Standard for Asian Language Technologies
Corpus-based approaches and statistical approaches have been the main stream of natural language processing research for the past two decades. Language resources play a key role i...
Takenobu Tokunaga, Dain Kaplan, Chu-Ren Huang, Shu...
OOPSLA
2005
Springer
14 years 1 months ago
Using predicate fields in a highly flexible industrial control system
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
Shay Artzi, Michael D. Ernst