9210 search results - page 357 / 1842 » Analyzing Real-Time Systems |
207
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
127
click to vote
ACL
2008
15 years 8 months ago
2008
We identify four types of errors that unsupervised induction systems make and study each one in turn. Our contributions include (1) using a meta-model to analyze the incorrect bia...
161
click to vote
IJCAI
2007
15 years 8 months ago
2007
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
162
click to vote
QUESTA
2006
15 years 6 months ago
2006
In this paper we demonstrate how tree-like processes can be used to analyze a general class of priority queues with three service classes, creating a new methodology to study prio...
218
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...