2700 search results - page 506 / 540 » The role of abstraction in software engineering |
163
Voted
COMSWARE
2006
IEEE
16 years 5 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 ...
155
Voted
COMSWARE
2006
IEEE
16 years 5 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...
152
click to vote
ML
2006
ACM
16 years 1 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 ...
151
click to vote
UIST
2006
ACM
16 years 1 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...
173
click to vote
PLDI
2005
ACM
15 years 11 months 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...