Sciweavers

4385 search results - page 622 / 877
» Abstraction for Concurrent Objects
Sort
View
191
Voted
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 11 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider
SIGCSE
1999
ACM
97views Education» more  SIGCSE 1999»
15 years 11 months ago
Education of wireless and ATM networking concepts using hands-on laboratory experience
Abstract Traditional computer networking courses primarily tend to provide students with hands-on software development and network performance experience with TCP/IP and Ethernet n...
Krishna M. Sivalingam, V. Rajaravivarma
VRML
1999
ACM
15 years 11 months ago
ToolSpace: Web based 3D Collaboration
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
T. Goddard, Vaidy S. Sunderam
CADE
1999
Springer
15 years 11 months ago
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
Frank Pfenning, Carsten Schürmann
IPPS
1999
IEEE
15 years 11 months ago
System Support for Migratory Continuous Media
Abstract. In this paper, we propose system support for building adaptive migratory continuous media applications in distributed real-time environments. In future distributed comput...
Tatsuo Nakajima, Mamadou Tadiou Kone, Hiroyuki Aiz...