Sciweavers

8928 search results - page 279 / 1786
» Modeling Current Events
Sort
View
WILF
2005
Springer
96views Fuzzy Logic» more  WILF 2005»
15 years 9 months ago
Imprecise Temporal Interval Relations
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
ASAP
2003
IEEE
115views Hardware» more  ASAP 2003»
15 years 9 months ago
Context-Aware Process Networks
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
Hylke W. van Dijk, Henk J. Sips, Ed F. Deprettere
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 9 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 8 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
PADS
1999
ACM
15 years 8 months ago
Active Virtual Network Management Protocol
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP, for predictive network management. It explains how the Active Virtual Network Mana...
Stephen F. Bush