2421 search results - page 170 / 485 » Message from the Editor-in-Chief |
161
click to vote
ICFP
2003
ACM
16 years 5 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...
162
click to vote
MOBIHOC
2002
ACM
16 years 5 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...
133
click to vote
DSN
2009
IEEE
16 years 14 days 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...
136
click to vote
DATE
2008
IEEE
16 years 5 days 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...
162
click to vote
ICST
2008
IEEE
16 years 3 days 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 ...