1579 search results - page 159 / 316 » On the Constructions of Constant-Weight Codes |
205
click to vote
CTRSA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
161
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
143
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
191
click to vote
CIBSE
2009
ACM
16 years 28 days ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
145
click to vote
ENC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...