4693 search results - page 507 / 939 » Verifying Hybrid Systems |
179
click to vote
ICCSA
2005
Springer
16 years 16 days ago
2005
Springer
The limitation of network resource reduces the awareness capability of CVE system, which becomes the main bottleneck for applications in Internet. In this paper, we study the relat...
168
click to vote
BPM
2004
Springer
16 years 13 days ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
180
click to vote
FMCAD
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
186
click to vote
RTA
2004
Springer
16 years 11 days ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
181
click to vote
VMCAI
2004
Springer
16 years 11 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...