4693 search results - page 9 / 939 » Verifying Hybrid Systems |
95
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
JCP
2006
15 years 11 days ago
2006
Recently, Wang et al. proposed a set of double auction protocols with full privacy protection based on distributed ElGamal encryption. Unfortunately, their protocols are expensive ...
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
133
Voted
ICTAI
2005
IEEE
15 years 6 months ago
2005
IEEE
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...