5918 search results - page 446 / 1184 » A view of cloud computing |
200
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
192
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
An experiment with distance technology in a secondyear Object-Oriented Systems Design course is described. Video and computer conferencing were used in tutorial sessions where a t...
170
click to vote
RELMICS
1998
Springer
15 years 11 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
152
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
Modern computer users must often sift and manage vast amounts of hierarchically structured information. However, conventional interface tools have not kept pace with the informati...
142
Voted
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents an unified view of most previous table-lookup-and-addition methods: bipartite tables, SBTM, STAM and multipartite methods. This new definition allows a more ac...