242 search results - page 49 / 49 » Generative Power of CCGs with Generalized Type-Raised Catego... |
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
Flow-based networks such as OpenFlow-based networks have difficulty handling a large number of flows in a node due to the capacity limitation of search engine devices such as tern...
IANDC
2006
13 years 5 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...