478 search results - page 88 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
INFFUS
2006
13 years 7 months ago
2006
In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports [Hun00, Hun02b, Hun02a, HS03, HS04]. Structured news report...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
For present-day micro-electronic designs, it is becoming ever more important to accurately model substrate coupling effects. Basically, either a Finite Element Method (FEM) or a B...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
WSC
2000
13 years 8 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...