Sciweavers

9412 search results - page 343 / 1883
» An aspect-oriented generative approach
Sort
View
LOPSTR
2009
Springer
16 years 1 months ago
A Transformational Approach for Proving Properties of the CHR Constraint Store
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
IWANN
2007
Springer
16 years 27 days ago
Intelligent Healthcare Managing: An Assistive Technology Approach
This paper is about the key role of Personalization through Ambient Intelligence in the development of Assistive Technologies for the elders. Ambient Intelligence implies three rel...
Ulises Cortés, Cristina Urdiales, Roberta A...
IPPS
2005
IEEE
16 years 10 days ago
Some Issues in Solving the Anomaly Detection Problem using Immunological Approach
Results of an experimental study of an anomaly detection system based on the paradigm of artificial immune systems (AISs) are presented. Network traffic data are mapped into ant...
Franciszek Seredynski, Pascal Bouvry
174
Voted
GI
2005
Springer
16 years 8 days ago
A new approach towards authenticated key agreement schemes for resource-constrained devices
: This paper describes a novel solution for authenticated key agreement for wireless sensor networks (WSN) in logistics. The retrieved data may not be spoofed as it is used to gene...
Christian Gorecki, Christian Behrens, Rainer Laur
KES
2005
Springer
16 years 7 days ago
A Distributed Approach to Musical Composition
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...
Michael O. Jewell, Lee Middleton, Mark S. Nixon, A...