152 search results - page 6 / 31 » A formal mathematical framework for modeling probabilistic h... |
JUCS
2002
13 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
ACSD
2001
IEEE
13 years 10 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
ESORICS
2006
Springer
13 years 10 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
NIPS
2004
13 years 8 months ago
2004
We examine the marriage of recent probabilistic generative models for social networks with classical frameworks from mathematical economics. We are particularly interested in how ...