334 search results - page 49 / 67 » Timed Property Sequence Chart |
FOCS
2003
IEEE
14 years 21 days ago
2003
IEEE
The essence of an Internet router is an n ¡ n switch which routes packets from input to output ports. Such a switch can be viewed as a bipartite graph with the input and output p...
WIA
2009
Springer
13 years 12 months ago
2009
Springer
In this paper we consider the problem of minimization of deterministic finite automata (DFA) with reference to Hopcroft’s algorithm. Hopcroft’s algorithm has several degrees o...
FOCS
1998
IEEE
13 years 11 months ago
1998
IEEE
We study jitter control in networks with guaranteed quality of service (QoS) from the competitive analysis point of view: we propose on-line algorithms that control jitter and comp...
MM
1993
ACM
13 years 11 months ago
1993
ACM
In this paper, we describe MPEGTool, an X window based tool which can be used to generate an MPEG2 encoded bit stream for video sequences and to study the statistical properties o...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...