5415 search results - page 740 / 1083 » The Implementation of Functional Programming Languages |
149
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
165
click to vote
PDP
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
151
click to vote
IFIP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
138
click to vote
UM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
154
click to vote
GPCE
2005
Springer
16 years 8 days ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...