Sciweavers

3353 search results - page 325 / 671
» Laver and set theory
Sort
View
EMSOFT
2004
Springer
16 years 3 days ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ICCSA
2004
Springer
16 years 3 days ago
Searching for 2D Spatial Network Holes
Research involving different forms of networks, such as internet networks, social networks, and cellular networks, has increasingly become an important field of study. From this wo...
Femke Reitsma, Shane Engel
KR
2004
Springer
16 years 2 days ago
GAI Networks for Utility Elicitation
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
Christophe Gonzales, Patrice Perny
MMB
2004
Springer
175views Communications» more  MMB 2004»
16 years 2 days ago
Sensitivity Analysis for MAP/MAP/1 Queues
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
Armin Heindl
ICEIS
2003
IEEE
16 years 7 hour ago
Knowledge Construction in E-Learning - Designing an E-Learning Environment
: In the traditional classroom, students learned to depend on tutors for their motivation, direction, goal setting, progress monitoring, self-assessment, and achievement. A fundame...
Kecheng Liu, Shirley Williams, Lily Sun