1413 search results - page 236 / 283 » Bisimilarity of Open Terms |
164
click to vote
PPDP
2009
Springer
16 years 28 days ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
177
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...
152
click to vote
IMC
2009
ACM
16 years 27 days ago
2009
ACM
A flurry of recent work has focused on the performance gains that may be achieved by leveraging the broadcast nature of the wireless channel. In particular, researchers have obse...
164
click to vote
IMC
2009
ACM
16 years 27 days ago
2009
ACM
Triangle inequality violations (TIVs) are important for latency sensitive distributed applications. On one hand, they can expose opportunities to improve network routing by findi...
179
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...