Sciweavers

1969 search results - page 182 / 394
» Financial Theory 1
Sort
View
SAC
2006
ACM
16 years 15 days ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
VALUETOOLS
2006
ACM
132views Hardware» more  VALUETOOLS 2006»
16 years 15 days ago
Zero-automatic networks
We continue the study of zero-automatic queues first introduced in [3]. These queues are characterized by a special buffering mechanism evolving like a random walk on some infi...
Thu-Ha Dao-Thi, Jean Mairesse
RTCSA
2005
IEEE
16 years 4 days ago
Multi-Versions Data for Improvement of QoS in RTDBS
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...
Emna Bouazizi, Claude Duvallet, Bruno Sadeg
ASM
2005
ASM
16 years 3 days ago
AsmL Semantics in Fixpoint
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
Ali Habibi, Sofiène Tahar
CAISE
2005
Springer
16 years 2 days ago
An Ontological Approach for Eliciting and Understanding Needs in e-Services
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
Ziv Baida, Jaap Gordijn, Hanne Sæle, Hans Ak...