163 search results - page 31 / 33 » Type Systems for Useless-Variable Elimination |
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Sensor nodes are often used to collect data from locations inaccessible or hazardous for humans. As they are not under normal supervision, these nodes are particularly susceptible...
FC
2004
Springer
14 years 2 days ago
2004
Springer
We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost eļ¬...
EDBT
2009
ACM
13 years 11 months ago
2009
ACM
In a publish-subscribe system based on ļ¬ltering of XML documents, subscribers specify their interests with proļ¬les expressed in the XPath language. The system processes a stre...
ICDCS
2010
IEEE
13 years 8 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...
AI
2004
Springer
13 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...