16616 search results - page 3021 / 3324 » Extending Extended Vacuity |
177
click to vote
OOPSLA
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
183
click to vote
OOPSLA
2005
Springer
16 years 7 days ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
150
Voted
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
180
click to vote
PKC
2005
Springer
16 years 6 days ago
2005
Springer
In typical RSA, it is impossible to create a key pair (e, d) such that both are simultaneously much shorter than φ(N). This is because if d is selected first, then e will be of t...
221
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....