3557 search results - page 643 / 712 » Authoring Presentation for OpenMath |
90
Voted
MOBIHOC
2003
ACM
16 years 10 days ago
2003
ACM
Contrary to the common belief that mobility makes security more difficult to achieve, we show that node mobility can, in fact, be useful to provide security in ad hoc networks. We...
104
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
117
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
108
click to vote
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
We present Flicker, an infrastructure for executing securitysensitive code in complete isolation while trusting as few as 250 lines of additional code. Flicker can also provide me...
122
click to vote
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...