556 search results - page 79 / 112 » Checking Interval Properties of Computations |
131
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
125
click to vote
BIS
2008
15 years 5 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
121
click to vote
ACL
1998
15 years 5 months ago
1998
One of the major problems when translating from Japanese into a European language such as German or English is to determine definiteness of noun phrases in order to choose the cor...
134
Voted
FTCS
1994
15 years 5 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
131
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...