2421 search results - page 170 / 485 » Message from the Editor-in-Chief |
ICFP
2003
ACM
14 years 10 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
MOBIHOC
2002
ACM
14 years 10 months ago
2002
ACM
In this paper we assume that a multihop wireless network (also called a wireless ad hoc network) consists of nodes whose transmitting powers are finitely adjustable. We consider t...
DSN
2009
IEEE
14 years 5 months ago
2009
IEEE
It is becoming increasingly common to connect traditional embedded system networks to the Internet for remote monitoring, high-level control and integration. It is necessary to pr...
DATE
2008
IEEE
14 years 5 months ago
2008
IEEE
Cross-trigger, the mechanism to trigger activities in one debug entity from debug events happened in another debug entity, is a very useful technique for debugging applications in...
ICST
2008
IEEE
14 years 5 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...