1102 search results - page 110 / 221 » Generalizing Updates: From Models to Programs |
95
Voted
WETICE
1998
IEEE
15 years 4 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
126
click to vote
JMLR
2010
14 years 7 months ago
2010
Actor-Critic based approaches were among the first to address reinforcement learning in a general setting. Recently, these algorithms have gained renewed interest due to their gen...
105
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
106
Voted
SOCIALCOM
2010
14 years 10 months ago
2010
Multiple phenomena often diffuse through a social network, sometimes in competition with one another. Product adoption and political elections are two examples where network diffus...
137
click to vote
FMICS
2010
Springer
15 years 21 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...