609 search results - page 107 / 122 » MIThril 2003: Applications and Architecture |
125
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
96
Voted
VRST
2003
ACM
15 years 7 months ago
2003
ACM
Many applications have used a Head-Mounted Display (HMD), such as in virtual and mixed realities, and tele-presence. The advantage of HMD systems is the ease of feeling a 3D world...
117
click to vote
WWW
2003
ACM
15 years 7 months ago
2003
ACM
In this paper, we describe an alternative web paradigm, called the Web of People. Rather than a web of pages, it is a web of persons. The paradigm is motivated by a number of obvi...
119
Voted
APWEB
2003
Springer
15 years 7 months ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Open systems are characterized by heterogeneous participants which can enter or leave the system at will. Typical examples are e-commerce applications or information agent systems...