3172 search results - page 160 / 635 » Combining Specification Techniques for Processes, Data and T... |
147
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
212
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
155
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
176
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
200
click to vote
CCIW
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a spatial noise reduction technique designed to work on CFA (Color Filter Array) data acquired by CCD/CMOS image sensors. The overall processing preserves image...