5451 search results - page 572 / 1091 » Typed Operational Semantics |
185
click to vote
ECWEB
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a m...
177
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
199
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test c...
154
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...
164
click to vote
HOTOS
1993
IEEE
15 years 11 months ago
1993
IEEE
Mobile computing and multimedia are two emerging trends in computer systems. One foreseeable application suggested by these two trends is the playback of stored video on both mobi...