882 search results - page 167 / 177 » Analysis of Composite Corridors |
213
Voted
FMCAD
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
201
Voted
CICLING
2003
Springer
16 years 27 days ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
236
Voted
ICDT
2010
ACM
16 years 16 days ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
213
Voted
ASIACRYPT
2000
Springer
16 years 20 hour ago
2000
Springer
We consider a problem which was stated in a request for comments made by NIST in the FIPS97 document. The question is the following: Can we have a digital signature public key infr...
220
Voted
HYBRID
1998
Springer
15 years 12 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....