Sciweavers

1193 search results - page 110 / 239
» A primer of simple theories
Sort
View
INFOCOM
2003
IEEE
15 years 11 months ago
Instability Phenomena in Underloaded Packet Networks with QoS Schedulers
— Instability in packet-switching networks is normally associated with overload conditions, since queueing network models show that, in simple configurations, only overload gene...
Marco Ajmone Marsan, Mirko Franceschinis, Emilio L...
ISIPTA
2003
IEEE
127views Mathematics» more  ISIPTA 2003»
15 years 11 months ago
Climate Projections for the 21st Century Using Random Sets
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...
Elmar Kriegler, Hermann Held
ASM
2003
ASM
15 years 11 months ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani
CAISE
2003
Springer
15 years 11 months ago
Towards a Distributed Pedagogical Simulator
The use of simulation for a pedagogical purpose is very interesting. One of the essential repercussions of the construction of a pedagogical simulator is the perennisation of the ...
Hana Bensalem, Tahar Bensebaa
LICS
2002
IEEE
15 years 11 months ago
The Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
Daniele Varacca