Sciweavers

8021 search results - page 64 / 1605

» A Type System for Tom

13

JOT
2007

65views more JOT 2007»

A Formal Type System for Java

13 years 7 months ago

A Formal Type System for Java

Download www.jot.fm

Mourad Debbabi, M. Fourati

claim paper

Read More »

11

QUESTA
2000

62views more QUESTA 2000»

The departure process of discrete-time queueing systems with Markovian type inputs

13 years 7 months ago

The departure process of discrete-time queueing systems with Markovian type inputs

Download faculty.csie.ntust.edu.tw

Huei-Wen Ferng, Jin-Fu Chang

claim paper

Read More »

11

IJBC
2002

60views more IJBC 2002»

Optimum Correlator-Type Receiver Design for CSK Communication Systems

13 years 7 months ago

Optimum Correlator-Type Receiver Design for CSK Communication Systems

Download www.eie.polyu.edu.hk

Francis C. M. Lau, Chi Kong Tse

claim paper

Read More »

20

CN
1998

96views more CN 1998»

Effective Personalization of Push-Type Systems - Visualizing Information Freshness

13 years 7 months ago

Effective Personalization of Push-Type Systems - Visualizing Information Freshness

Download www.jos.org.cn

Hidekazu Sakagami, Tomonari Kamba, Atsushi Sugiura...

claim paper

Read More »

19

IGPL
1998

58views more IGPL 1998»

Two Types of Multiple-Conclusion Systems

13 years 7 months ago

Two Types of Multiple-Conclusion Systems

Download www.cs.tau.ac.il

Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...

Arnon Avron

claim paper

Read More »

« Prev « First page 64 / 1605 Last » Next »