4693 search results - page 79 / 939 » Verifying Hybrid Systems |
81
Voted
ENTCS
2006
15 years 18 days ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
73
Voted
WCE
2007
15 years 1 months ago
2007
– In this paper “Digital Transceiver using Hybrid Ternary Technique” gives the details about digital transmitter and receiver with the design of a hybrid ternary line coding....
108
click to vote
CCE
2008
15 years 6 days ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
112
click to vote
FAC
2007
15 years 17 days ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
114
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...