11172 search results - page 318 / 2235 » Testing Physical Systems |
166
click to vote
ISM
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper demonstrates a method of simultaneously testing the spatial and tonal resolution of a camera. Unlike the modulation transfer function which has been used in the past, th...
153
click to vote
APSEC
2000
IEEE
15 years 10 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...
197
click to vote
PTS
2003
15 years 8 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
184
click to vote
COMCOM
2002
15 years 6 months ago
2002
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...