6293 search results - page 15 / 1259 » Information Flow Testing |
ACJ
2006
13 years 7 months ago
2006
APSEC
2000
IEEE
13 years 11 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...
IDA
2009
Springer
14 years 3 days ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...