2036 search results - page 185 / 408 » A generic type-and-effect system |
229
Voted
HT
2003
ACM
16 years 10 days ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
190
click to vote
MOBIDE
2003
ACM
16 years 10 days ago
2003
ACM
Optimistic replication approaches are often employed on mobile devices, which raises the need for reconciliation of concurrently modified data. We propose that three-way merging ...
166
click to vote
FOSSACS
2003
Springer
16 years 9 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
168
click to vote
HICSS
2002
IEEE
16 years 1 days ago
2002
IEEE
Legitimacy is a key part of the social requirements specification for a trusted virtual community environment (VCE). If an environment is not seen as legitimate, social conflicts m...
209
click to vote
HT
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes a generic approach to structuring and visualising a hypertext-based information space on the WWW. This approach, called Generalised Similarity Analysis (GSA),...