899 search results - page 42 / 180 » A Temporal Language for SystemC |
IJCAI
2001
14 years 11 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
We have in a previous paper introduced the new query operators that are needed in order to support an XML query language that supports temporal operations. The query operators mak...
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...