Sciweavers

1393 search results - page 248 / 279
» Virtual-Channel Flow Control
Sort
View
DBSEC
2008
137views Database» more  DBSEC 2008»
13 years 11 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
LREC
2010
197views Education» more  LREC 2010»
13 years 11 months ago
An Open Source Process Engine Framework for Realtime Pattern Recognition and Information Fusion Tasks
The process engine for pattern recognition and information fusion tasks, the pepr framework, aims to empower the researcher to develop novel solutions in the field of pattern reco...
Volker Fritzsch, Stefan Scherer, Friedhelm Schwenk...
SPLC
2008
13 years 11 months ago
Towards Separation of Concerns in Model Transformation Workflows
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
Christoph Elsner, Daniel Lohmann, Wolfgang Schr&ou...
AVI
2004
13 years 11 months ago
Visualizing programs with Jeliot 3
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
IASSE
2004
13 years 11 months ago
System Evolution through Design Information Evolution: a Case Study
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
Walter Cazzola, Ahmed Ghoneim, Gunter Saake