Sciweavers

10802 search results - page 110 / 2161
» Generative and developmental systems
Sort
View
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
14 years 2 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
CSL
2004
Springer
13 years 9 months ago
Automatic capitalisation generation for speech input
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...
Ji-Hwan Kim, Philip C. Woodland
CICLING
2009
Springer
14 years 9 months ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel
SEAA
2008
IEEE
14 years 3 months ago
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
Antonia Bertolino, Guglielmo De Angelis, Francesca...
ITS
1998
Springer
95views Multimedia» more  ITS 1998»
14 years 1 months ago
Using Induction to Generate Feedback in Simulation Based Discovery Learning Environments
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
Koen Veermans, Wouter R. van Joolingen