4985 search results - page 381 / 997 » Observation of String-Rewriting Systems |
202
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...
174
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
We investigate the relationship between a student’s affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Withi...
179
click to vote
CEAS
2007
Springer
16 years 1 months ago
2007
Springer
A new trend in email spam is the emergence of image spam. Although current anti-spam technologies are quite successful in filtering text-based spam emails, the new image spams ar...
209
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
157
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...