4716 search results - page 665 / 944 » Tangible functional programming |
173
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
183
click to vote
ICN
2007
Springer
16 years 24 days ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
154
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
172
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
148
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...