Sciweavers

10602 search results - page 1814 / 2121
» Weakly Useful Sequences
Sort
View
203
Voted
FROCOS
2007
Springer
16 years 1 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
194
Voted
GECCO
2007
Springer
427views Optimization» more  GECCO 2007»
16 years 1 months ago
Evolutionary music composer integrating formal grammar
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
Yaser M. A. Khalifa, Badar K. Khan, Jasmin Begovic...
193
Voted
GECCO
2007
Springer
189views Optimization» more  GECCO 2007»
16 years 1 months ago
A more bio-plausible approach to the evolutionary inference of finite state machines
With resemblance of finite-state machines to some biological mechanisms in cells and numerous applications of finite automata in different fields, this paper uses analogies an...
Hooman Shayani, Peter J. Bentley
GPCE
2007
Springer
16 years 1 months ago
Debugging macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
Ryan Culpepper, Matthias Felleisen
IBPRIA
2007
Springer
16 years 1 months ago
Robust Lane Lines Detection and Quantitative Assessment
Detection of lane markings based on a camera sensor can be a low cost solution to lane departure and curve over speed warning. A number of methods and implementations have been rep...
Antonio M. López, Joan Serrat, Cristina Ca&...
« Prev « First page 1814 / 2121 Last » Next »