1280 search results - page 59 / 256 » Soft Typing with Conditional Types |
COORDINATION
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...
AMW
2010
13 years 10 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
ICC
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we propose a cross-layer design (CLD) scheme combining rate adaptation and four types of hybrid automatic repeat request (HARQ) for multiband orthogonal frequency di...
CALCO
2011
Springer
12 years 9 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...