1050 search results - page 177 / 210 » Towards programming for the non-technical |
CCS
2003
ACM
14 years 24 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
CP
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. Combinatorial auctions are an important e-commerce application where bidders can bid on combinations of items. The problem of selecting the best bids that cover all items...
IFIP
2003
Springer
14 years 23 days ago
2003
Springer
The use of directional antenna in wireless ad hoc networks potentially increases simultaneous communication by directing the transmitting and receiving beams towards the receiver a...
UM
2010
Springer
14 years 19 days ago
2010
Springer
The increasing trend towards powerful mobile phones opens many possibilities for valuable personalised services to be available on the phone. Client-side personalisation for these ...
CLUSTER
2009
IEEE
14 years 8 days ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...