8644 search results - page 1554 / 1729 » On the Composition of Secure Systems |
192
click to vote
EUROSSC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present the design, prototype implementation, and evaluation of CenceMe, a personal sensing system that enables members of social networks to share their sensing prese...
175
click to vote
FC
2007
Springer
16 years 23 days ago
2007
Springer
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...
162
click to vote
GECON
2007
Springer
16 years 23 days ago
2007
Springer
This paper addresses necessary modification and extensions of existing Grid Computing approaches in order to meet nowadays business demand. So far, Grid Computing has been used to...
187
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
156
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...