8197 search results - page 425 / 1640 » Adaptive functional programming |
165
click to vote
AMI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
167
click to vote
DAIS
2006
15 years 8 months ago
2006
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
180
Voted
ECAL
2005
Springer
16 years 12 days ago
2005
Springer
This paper investigates evolvability of artificial neural networks within an artificial life environment. Five different structural mutations are investigated, including adaptive e...
170
Voted
IWNAS
2008
IEEE
16 years 1 months ago
2008
IEEE
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
190
click to vote
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...