108 search results - page 19 / 22 » JavaGI : Generalized Interfaces for Java |
91
Voted
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
102
click to vote
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
103
click to vote
MSWIM
2006
ACM
15 years 5 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
CARDIS
2004
Springer
15 years 5 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...