12981 search results - page 2093 / 2597 » Model Checking (Abstract) |
169
click to vote
IEICET
2006
15 years 7 months ago
2006
ng problem for the SDMG CIOQ switch is abstracted as a bipartite k-matching problem. Using fluid model techniques, we prove that any maximal size k-matching algorithm on an SDMG CI...
199
click to vote
IIE
2006
15 years 7 months ago
2006
Abstract. With the growing awareness of the scholarship of teaching and the appropriate incorporation of Information and Communications Technologies (ICT) in higher education, ther...
160
click to vote
JAPLL
2008
15 years 7 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
222
click to vote
JASIS
2008
15 years 7 months ago
2008
Abstract. In spite of policy concerns and high costs, the law enforcement community is investing heavily in data sharing initiatives. Cross-jurisdictional criminal justice informat...
182
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract—The problem of error-control in random linear network coding is considered. A “noncoherent” or “channel oblivious” model is assumed where neither transmitter nor...