5630 search results - page 107 / 1126 » Computability in Specification |
121
click to vote
FC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we investigate how existing theoretical contributions on usable security can serve to guide the design of a specific system. We illustrate how going through this the...
143
click to vote
ALIFE
2004
15 years 4 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
AH
2004
Springer
15 years 9 months ago
2004
Springer
Adpating to user context versus adapting to individual user features or behaviour patterns has been a topic of recent discussion. We believe both types of adaptation are valuable a...
131
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
134
click to vote
ICANN
2001
Springer
15 years 8 months ago
2001
Springer
A neural-network-based approach is proposed in this paper providing multimedia systems with the ability to adapt their performance to the specific needs and characteristics of thei...