3799 search results - page 713 / 760 » An Engineering Approach to Formal Methods |
106
click to vote
CATS
2007
15 years 5 months ago
2007
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
139
Voted
IADIS
2003
15 years 5 months ago
2003
Avionics data at the National Aeronautics and Space Administration’s (NASA) Jet Propulsion Laboratory (JPL) consists of distributed, unmanaged, and heterogeneous information tha...
115
click to vote
BMVC
1997
15 years 5 months ago
1997
Traditional methods for ATR Automatic Target Recognition use infrared IR sensors for detecting heat emanating fromtargets. IR-based ATR techniques are susceptible to sensor-in...
126
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The Session Initiation Protocol (SIP) has become the most predominant protocol for Voice over Internet Protocol (VoIP) signaling. Security of SIP is an important consideration for...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...