14190 search results - page 2525 / 2838 » Abstractions for hybrid systems |
207
click to vote
NETWORKING
2010
15 years 9 months ago
2010
Abstract. Packet classification is a fundamental task for network devices such as edge routers, firewalls, and intrusion detection systems. Currently, most vendors use Ternary Cont...
169
click to vote
FIW
2007
15 years 9 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
202
click to vote
SERVICES
2010
15 years 9 months ago
2010
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...
193
click to vote
GRAPHICSINTERFACE
2007
15 years 9 months ago
2007
We use a haptically enhanced mixing board with a video projector as an interface to various data visualization tasks. We report results of an expert review with four participants,...
261
click to vote
FORTE
2008
15 years 9 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...