1536 search results - page 257 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ATS
2003
IEEE
14 years 28 days ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Universities have severe difficulties in using elearning applications successfully due to organizational problems to provide them. Providing a web-based learning environment is an...
JCNS
2008
13 years 7 months ago
2008
Lateral inhibition of cells surrounding an excited area is a key property of sensory systems, sharpening the preferential tuning of individual cells in the presence of closely rela...
COMCOM
2004
13 years 7 months ago
2004
Bluetooth is a new short-range radio technology to form a small wireless system. In most of the current Bluetooth products, the master polls the slaves in a round robin manner and...
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...