Sciweavers

2010 search results - page 301 / 402
» On Object Extension
Sort
View
CHI
1998
ACM
14 years 2 months ago
PRoP: Personal Roving Presence
Current internet applications leave our physical presence and our real-world environment behind. This paper describes the development of several simple, inexpensive, internet-cont...
Eric Paulos, John F. Canny
HT
1998
ACM
14 years 2 months ago
XHMBS: A Formal Model to Support Hypermedia Specification
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...
CPM
1998
Springer
115views Combinatorics» more  CPM 1998»
14 years 2 months ago
Aligning Alignments
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Weiqing Zhang
FOSSACS
1998
Springer
14 years 2 months ago
Functor Categories and Two-Level Languages
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
Eugenio Moggi
ICPP
1997
IEEE
14 years 2 months ago
Automatic Parallelization and Scheduling of Programs on Multiprocessors using CASCH
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...
Ishfaq Ahmad, Yu-Kwong Kwok, Min-You Wu, Wei Shu