2702 search results - page 341 / 541 » Message from the Editor |
145
Voted
AAAI
2010
15 years 5 months ago
2010
Many problems require repeated inference on probabilistic graphical models, with different values for evidence variables or other changes. Examples of such problems include utilit...
143
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
136
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
IP traceback can be used to find the origin of anonymous traffic; however, Internet-scale IP traceback systems have not been deployed due to a need for cooperation between Interne...
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the N-user broadcast erasure channel where feedback from the users is fed back to the transmitter in the form of ACK messages. We provide a generic outer bound to the ...
131
click to vote
FAC
2008
15 years 4 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...