Sciweavers

513 search results - page 52 / 103
» How digital libraries can support e-learning
Sort
View
OOPSLA
2005
Springer
15 years 10 months ago
Parametric polymorphism for software component architectures
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
Cosmin E. Oancea, Stephen M. Watt
POPL
1997
ACM
15 years 8 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
15 years 10 months ago
Improved Decomposition of STGs
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
Walter Vogler, Ben Kangsah
ISMAR
2005
IEEE
15 years 10 months ago
Face to Face Collaborative AR on Mobile Phones
Mobile phones are an ideal platform for augmented reality. In this paper we describe how they can also be used to support face to face collaborative AR gaming. We have created a c...
Anders Henrysson, Mark Billinghurst, Mark Ollila
CIA
2000
Springer
15 years 8 months ago
Design of Collaborative Information Agents
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
Catholijn M. Jonker, Matthias Klusch, Jan Treur