21324 search results - page 197 / 4265 » Making the case for computing |
149
click to vote
WSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Every day, new information, products and services are being offered by providers on the World Wide Web. At the same time, the number of consumers and the diversity of their intere...
142
Voted
CAV
1998
Springer
15 years 7 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
128
click to vote
MM
1996
ACM
15 years 7 months ago
1996
ACM
Such interactive, distributed multimedia applications as shared whiteboards, group editors, and simulations require reliable concurrent multicast services, i.e., the reliable diss...
140
Voted
KES
2000
Springer
15 years 7 months ago
2000
Springer
: We report about ongoing research in a virtual reality environment where visitors can interact with agents that help them to obtain information, to peform certain transactions and...
120
click to vote
AAAI
2008
15 years 5 months ago
2008
One of the core goals of the Semantic Web is to store data in distributed locations, and use ontologies and reasoning to aggregate it. Social networking is a large movement on the...