4693 search results - page 710 / 939 » Verifying Hybrid Systems |
152
click to vote
TABLETOP
2007
IEEE
16 years 9 days ago
2007
IEEE
A number of studies have shown that paper holds several advantages over computers for reading tasks. However, these studies were carried out several years ago, and since that time...
190
click to vote
ATVA
2007
Springer
16 years 7 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
147
click to vote
ECOOP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
150
click to vote
GECCO
2007
Springer
16 years 6 days ago
2007
Springer
Imagine a group of cooperating agents attempting to allocate tasks amongst themselves without knowledge of their own capabilities. Over time, they develop a belief of their own sk...
203
click to vote
PKC
2007
Springer
16 years 5 days ago
2007
Springer
At PKC 2003 Paeng, Jung, and Ha proposed a lattice based public key cryptosystem(PJH). It is originated from GGH, and designed as a hybrid of GGH and NTRUEncrypt in order to reduce...