2271 search results - page 332 / 455 » Scalable Software Libraries |
171
Voted
NDSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
124
click to vote
UIST
2003
ACM
15 years 8 months ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
106
Voted
ERCIMDL
2003
Springer
15 years 8 months ago
2003
Springer
Addressing the preservation and long-term access issues for digital resources is one of the key challenges facing informational organisations such as libraries, archives, cultural ...
118
Voted
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
116
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...