2111 search results - page 210 / 423 » How to Program Pervasive Systems |
131
click to vote
E4MAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper is part of a long term research program on multiagent systems (MASs), based on the proposition that the interactions among the members of a large and heterogen...
121
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
122
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
133
Voted
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
133
Voted
AAAI
1998
15 years 4 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...