Sciweavers

32117 search results - page 6389 / 6424
» Design for Unanticipated Use..
Sort
View
ALIFE
1999
15 years 5 months ago
The Creatures Global Digital Ecosystem
An arti cial life entertainment-software product called Creatures was released in Europe in late 1996 and in the United States and Japan in mid-1997. When installed on a domestic c...
Dave Cliff, Stephen Grand
INTERNET
2002
145views more  INTERNET 2002»
15 years 5 months ago
Where is Middleware?
stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
Steve Vinoski
INTERNET
2002
175views more  INTERNET 2002»
15 years 5 months ago
Web Services Interaction Models, Part 1: Current Practice
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...
Steve Vinoski
JACM
2002
163views more  JACM 2002»
15 years 5 months ago
Formal verification of standards for distance vector routing protocols
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gu...
CN
1999
106views more  CN 1999»
15 years 5 months ago
UIML: An Appliance-Independent XML User Interface Language
Today's Internet appliances feature user interface technologies almost unknown a few years ago: touch screens, styli, handwriting and voice recognition, speech synthesis, tin...
Marc Abrams, Constantinos Phanouriou, Alan L. Bato...
« Prev « First page 6389 / 6424 Last » Next »