572 search results - page 33 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
131
click to vote
ICTAI
2010
IEEE
14 years 11 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...
124
click to vote
CCECE
2011
IEEE
14 years 1 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 (...
126
click to vote
ICCS
2005
Springer
15 years 7 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...
111
click to vote
CCS
2006
ACM
15 years 5 months 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...
90
Voted
ICSE
2007
IEEE-ACM
16 years 1 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...