Sciweavers

4445 search results - page 431 / 889
» Reflective Authorization Systems
Sort
View
SASO
2008
IEEE
16 years 2 months ago
On the Feasibility of Decentralized Grid Scheduling
Many authors recognize the limitations of hierarchical Grid scheduling in scalable environments, and proposed peer-to-peer solutions to this problem. However, most peerto-peer gri...
Marco Fiscato, Paolo Costa, Guillaume Pierre
WISE
2008
Springer
16 years 2 months 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
NLDB
2007
Springer
16 years 1 months ago
A Lightweight Approach to Semantic Annotation of Research Papers
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, Joh...
TABLETOP
2006
IEEE
16 years 1 months ago
Transparent Tabletop Interface for Multiple Users on Lumisight Table
This paper presents a new type of tabletop interface on Lumisight Table. Putting physical objects on a tabletop display is one of the typical methods for intuitive tangible input....
Yasuaki Kakehi, Takero Hosomi, Makoto Iida, Takesh...
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
16 years 1 months ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak