Sciweavers

13026 search results - page 2292 / 2606
» Probabilistic Relational Models
Sort
View
ICEIS
2003
IEEE
15 years 10 months ago
An Agent-Mediated Marketplace for Transportation Transactions
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...
Nikos I. Karacapilidis, Alexis Lazanas, Pavlos Mor...
130
Voted
INFOCOM
2003
IEEE
15 years 10 months ago
Asymptotic Insensitivity of Least-Recently-Used Caching to Statistical Dependency
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
Predrag R. Jelenkovic, Ana Radovanovic
IRI
2003
IEEE
15 years 10 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 10 months ago
Convex Imprecise Previsions: Basic Issues and Applications
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
Renato Pelessoni, Paolo Vicig
LICS
2003
IEEE
15 years 10 months ago
Labelled Markov Processes: Stronger and Faster Approximations
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
Vincent Danos, Josee Desharnais
« Prev « First page 2292 / 2606 Last » Next »