Sciweavers

2409 search results - page 257 / 482
» Building Components from Functions
Sort
View
WISE
2008
Springer
16 years 26 days ago
Mobile Payment: Towards a Customer-Centric Model
Abstract. Mobile payment normally occurs as a wireless transaction of monetary value and includes the initiation, authorization and the realization of the payment. Such transaction...
Krassie Petrova
ICLP
2007
Springer
16 years 20 days ago
Minimal Logic Programs
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
Pedro Cabalar, David Pearce, Agustín Valver...
PKC
2007
Springer
160views Cryptology» more  PKC 2007»
16 years 19 days ago
Anonymous Signatures Made Easy
Abstract. At PKC 2006, Yang, Wong, Deng and Wang proposed the notion of anonymous signature schemes where signatures do not reveal the signer’s identity, as long as some parts of...
Marc Fischlin
SEMWEB
2007
Springer
16 years 18 days ago
Tag Mediated Society with SCOT Ontology
Abstract. In this paper we give an overview of the int.ere.st for a social tagging, bookmarking, and sharing service. It is based on the SCOT ontology. The SCOT ontology can repres...
Hak Lae Kim, Sung-Kwon Yang, Seung-Jae Song, John ...
ICRA
2006
IEEE
115views Robotics» more  ICRA 2006»
16 years 16 days ago
PEIS Ecology: Integrating Robots into Smart Environments
— We introduce the concept of Ecology of Physically Embedded Intelligent Systems, or PEIS-Ecology. This is a network of heterogeneous robotic devices (PEIS) pervasively embedded ...
Mathias Broxvall, Marco Gritti, Alessandro Saffiot...