4693 search results - page 83 / 939 » Verifying Hybrid Systems |
104
Voted
TPHOL
1994
IEEE
15 years 4 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
103
Voted
JAR
2008
15 years 18 days ago
2008
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
193
Voted
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...
90
Voted
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
149
click to vote
IHIS
2005
ACM
15 years 6 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...