541 search results - page 26 / 109 » Applications of nonstandard analysis in additive number theo... |
191
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
229
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When autonomous agents decide on their bidding strategies in real world auctions, they have a number of concerns that go beyond the models that are normally analyzed in traditiona...
143
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
Two-dimensional contingency or co-occurrence tables arise frequently in important applications such as text, web-log and market-basket data analysis. A basic problem in contingenc...
169
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
Emerging real-time streaming applications often rely on rate-based flow control. However, congestion control for rate-based applications is typically dismissed as being not viable...