284 search results - page 22 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
123
click to vote
PVLDB
2008
15 years 3 months ago
2008
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
157
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Generating a shared key between two parties from the wireless channel is of increasing interest. The procedure for obtaining information from wireless channel is called channel ...
149
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...
123
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. We present a game-theoretic framework for modeling and solving routing problems in dynamically changing networks. The model covers the aspects of reactivity and non-termi...
145
click to vote
JLP
2006
15 years 3 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...