Sciweavers

4286 search results - page 508 / 858
» Formalizing Service Interactions
Sort
View
173
Voted
ISORC
2009
IEEE
16 years 1 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
ISMIS
2009
Springer
16 years 1 months ago
Semantic-Based Top-k Retrieval for Competence Management
Abstract. We present a knowledge-based system, for skills and talent management, exploiting semantic technologies combined with top-k retrieval techniques. The system provides adva...
Umberto Straccia, Eufemia Tinelli, Simona Colucci,...
210
Voted
SEUS
2008
IEEE
16 years 1 months ago
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
Andrea Bondavalli, Paolo Lollini, Leonardo Montecc...
ICMB
2007
IEEE
139views Business» more  ICMB 2007»
16 years 1 months ago
An Assessment of NFC for Future Mobile Payment Systems
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
Jan Ondrus, Yves Pigneur
181
Voted
VL
2007
IEEE
116views Visual Languages» more  VL 2007»
16 years 1 months ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
Dave Barker-Plummer, Nik Swoboda