Sciweavers

551 search results - page 66 / 111
» Reducing the cost of applying adaptive test cases
Sort
View
USS
2008
15 years 4 months ago
Experiences with Model Inference Assisted Fuzzing
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
Joachim Viide, Aki Helin, Marko Laakso, Pekka Piet...
CAEPIA
2005
Springer
15 years 7 months ago
Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
Javier Bajo, Juan M. Corchado
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
15 years 8 months ago
Incremental Spectral Clustering and Its Application To Topological Mapping
Abstract— This paper presents a novel use of spectral clustering algorithms to support cases where the entries in the affinity matrix are costly to compute. The method is increm...
Christoffer Valgren, Tom Duckett, Achim J. Lilient...
APNOMS
2006
Springer
15 years 5 months ago
On the Security of Attribute Certificate Structuring for Highly Distributed Computing Environments
For an efficient role based access control using attribute certificate in highly distributed computing environments, we use a technique of structuring role specification certificat...
Soomi Yang
117
Voted

Publication
103views
15 years 3 months ago
How to Use Vectors for Representing Ground Expressions in the Implementations of the Language Refal
Most implementations of the language Refal represent ground expressions by doubly-linked lists, which results in low-cost concatenation. On the other hand, that representation nece...
Sergei M. Abramov, Sergei A. Romanenko