8337 search results - page 1213 / 1668 » Reasoning With Characteristic Models |
304
click to vote
ASMTA
2011
Springer
14 years 10 months ago
2011
Springer
Queueing delays experienced by packets buffered at a node are among the most difficult to predict when considering the performance of a flow in a network. The arrivals of packets a...
219
click to vote
DM
2011
14 years 10 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
219
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Intrusion Detection is an invaluable part of computer networks defense. An important consideration is the fact that raising false alarms carries a significantly lower cost than not...
201
click to vote
AAAI
2012
13 years 9 months ago
2012
General Game Playing is the design of AI systems able to understand the rules of new games and to use such descriptions to play those games effectively. Games with imperfect infor...
427
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...