3796 search results - page 604 / 760 » Presentations by Programmers for Programmers |
152
click to vote
CRYPTO
2007
Springer
16 years 17 days ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
168
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
152
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
151
click to vote
FPL
2007
Springer
16 years 17 days ago
2007
Springer
A biological organism’s ability to sense and adapt to its environment is essential to its survival. Likewise, environmentally aware computing systems avail themselves to a longe...
174
click to vote
FSEN
2007
Springer
16 years 17 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...