1164 search results - page 199 / 233 » Case Studies in Event-Driven Control |
ENTCS
2007
15 years 1 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
121
Voted
ML
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
144
Voted
JSW
2006
15 years 1 months ago
2006
The high competition among network providers places a demand for new ways to design network services with near zero development time, low cost, and high degrees of customization an...
126
click to vote
TCAD
2008
15 years 1 months ago
2008
Latency-insensitive protocols allow system-on-chip (SoC) engineers to decouple the design of the computing cores from the design of the intercore communication channels while follo...
126
click to vote
TII
2008
15 years 1 months ago
2008
Current systems for automatic identification of goods presume a single administrative domain. However, in supply chain management systems temporary cooperations of multiple compani...