572 search results - page 33 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
ICTAI
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
CCECE
2011
IEEE
12 years 8 months ago
2011
IEEE
We present a readily portable, memory-efficient performance test system (PTS) for Tasers. The proposed PTS has been developped for the most widely used Conducted Energy Weapons (...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
CCS
2006
ACM
14 years 16 days ago
2006
ACM
In this paper, we position the correct way of using graphical models for enhancing cyber security analysis in enterprise networks. Graphical models can be powerful in representati...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...