Sciweavers

8810 search results - page 1439 / 1762
» Open. Closed. Open
Sort
View
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
A toward Framework for Generic Uncertainty Management
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
Ernesto Damiani, Paolo Ceravolo, Marcello Leida
FIW
2009
124views Communications» more  FIW 2009»
15 years 4 months ago
Online Detection of Feature Interactions of CPL Services
The Call Processing Language (CPL) is one of the best known approaches developed for creating telephony services in Internet telephony. Its XML-based structure makes it a flexible ...
Lixiang Wang, Jiuyun Xu, Stephan Reiff-Marganiec
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
GAMEON
2009
15 years 4 months ago
Explorations in Player Motivations: Game Mechanics
This article, assuming that player motivations are the outcome of continuous player-environment interactions, applies the needs framework of Murray (1938) to a computer game and i...
Barbaros Bostan, Ugur Kaplancali
GCC
2009
Springer
15 years 4 months ago
Interfaces for Placement, Migration, and Monitoring of Virtual Machines in Federated Clouds
Current cloud computing infrastructure offerings are lacking in interoperability, which is a hindrance to the advancement and adoption of the cloud computing paradigm. As clouds ar...
Erik Elmroth, Lars Larsson
« Prev « First page 1439 / 1762 Last » Next »