1690 search results - page 197 / 338 » Algorithmic Properties of Millstream Systems |
149
Voted
TACS
2001
Springer
15 years 9 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
148
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
146
click to vote
TMM
2002
15 years 4 months ago
2002
With the rapid performance improvements in low-cost PCs, it becomes increasingly practical and cost-effective to implement large-scale video-on-demand (VoD) systems around parallel...
150
click to vote
MMS
2007
15 years 4 months ago
2007
In this paper, we develop a theoretical understanding of multi-sensory knowledge and user context and their interrelationships. This is used to develop a generic representation fr...
158
click to vote
IADIS
2009
15 years 2 months ago
2009
We explore techniques for detecting news articles containing invalid information, using the help of text categorization technology. The information that exists on the World Wide W...