4693 search results - page 653 / 939 » Verifying Hybrid Systems |
169
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
The first stage of the signal processing chain in a Global Positioning System (GPS) receiver is the acquisition, which provides for a desired satellite coarse code phase and Dopple...
205
click to vote
FOMI
2009
15 years 4 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
215
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: The IP Multimedia Subsystem (IMS) is becoming the de facto overlay network for enabling the delivery of multimedia services in converged networks. Because it is envisioned that t...
176
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a high-resolution image reconstruction method from low-resolution image sequence. It is difficult to recognize details from a low-resolution image because of s...
167
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...