7820 search results - page 157 / 1564 » Formalization of Time and Space |
177
click to vote
DSOM
2004
Springer
16 years 12 days ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
182
click to vote
ISOLA
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
181
Voted
DATE
2003
IEEE
16 years 9 days ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
208
Voted
ASM
2010
ASM
16 years 4 days ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
178
Voted
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...