3821 search results - page 545 / 765 » A Security Model for Aglets |
157
click to vote
ICIS
2001
15 years 8 months ago
2001
Previous research suggests that a decline in transactions costs leads to improved economic efficiency. In this paper,weshowthatsuchadeclinewillintroduceincreasinglyuninformedconsu...
163
click to vote
CN
2010
15 years 6 months ago
2010
Due to the existence of multiple stakeholders with conflicting goals and policies, alterations to the existing Internet are now limited to simple incremental updates; deployment o...
178
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
202
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
145
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...