128 search results - page 13 / 26 » Ensuring Termination by Typability |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
MOBIHOC
2002
ACM
14 years 7 months ago
2002
ACM
Ad hoc networks formed without the aid of any established infrastructure are typically multi-hop networks. Location dependent contention and "hidden terminal" problem ma...
PPPJ
2009
ACM
14 years 2 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed Constraint Satisfaction Problems (DisCSPs). The algorithm partitions ...