15777 search results - page 2633 / 3156 » Software Engineering |
191
click to vote
MIDDLEWARE
2005
Springer
16 years 13 days ago
2005
Springer
Advances in MEMS technology, wireless communications, and digital electronics have enabled the development of low-cost, low-power, multifunctional sensor nodes that integrating th...
224
click to vote
MIDDLEWARE
2005
Springer
16 years 13 days ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
159
click to vote
ITICSE
2004
ACM
16 years 11 days ago
2004
ACM
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
170
click to vote
PLDI
2004
ACM
16 years 11 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
159
click to vote
CCS
2004
ACM
16 years 11 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...