2700 search results - page 506 / 540 » The role of abstraction in software engineering |
183
click to vote
COMSWARE
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— In this paper, we propose an authentication and secure channel establishment protocol that is reliable and adaptable for multihop wireless home networks. The main idea ...
177
click to vote
COMSWARE
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
175
click to vote
ML
2006
ACM
16 years 22 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
171
Voted
UIST
2006
ACM
16 years 22 days ago
2006
ACM
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
184
Voted
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...