932 search results - page 78 / 187 » Verifying Progress in Timed Systems |
143
Voted
FMOODS
2003
15 years 5 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
108
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
125
click to vote
IJCSA
2006
15 years 3 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
132
Voted
IJCAI
1993
15 years 5 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
158
click to vote
MICAI
2000
Springer
15 years 7 months ago
2000
Springer
This work presents a real time system for detection and tracking of facial features in video sequences. Such system may be used in visual communication applications, such as teleco...