1734 search results - page 132 / 347 » its 2000 |
134
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
170
click to vote
WECWIS
2000
IEEE
15 years 10 months ago
2000
IEEE
XML has become a very important emerging standard for E-commerce because of its flexibility and universality. Many software designers are actively developing new systems to handle...
158
click to vote
WMCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
The thin client model is uniquely suited for lowbandwidth mobile environments, where resource-poor devices may need to access critical applications over wireless networks. In this...
146
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we propose a 3-step method for designing emotionally rich interactions, illustrated by the design of an alarm clock. By emotionally rich interaction we understand in...
168
click to vote
APLAS
2000
ACM
15 years 10 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...