682 search results - page 45 / 137 » Philosophical Issues in Computer Science |
ACSC
2009
IEEE
14 years 3 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Employees using social network sites (SNS) at workplace is a fact. As companies are further embracing social media, how if at all does this practice affect the work dynamics? Wh...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
ACSC
2007
IEEE
14 years 3 months ago
2007
IEEE
With the continuous growth of mobile users and web-based wireless applications, the performance of accessing web services via wireless is becoming one of the key issues. Regular T...