2558 search results - page 142 / 512 » Model Composition Contracts |
148
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
133
click to vote
PADS
2004
ACM
15 years 9 months ago
2004
ACM
Computer simulation is the most common approach to studying wireless ad-hoc routing algorithms. The results, however, are only as good as the models the simulation uses. One shoul...
123
click to vote
DBISP2P
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The vast majority of the interactions in typical online communities nowadays is between complete strangers. In such settings reputation reporting and trust management mod...
151
click to vote
ACL
2008
15 years 5 months ago
2008
We combine the strengths of Bayesian modeling and synchronous grammar in unsupervised learning of basic translation phrase pairs. The structured space of a synchronous grammar is ...
127
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...