3909 search results - page 355 / 782 » Extreme Model Checking |
130
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract Peer-to-peer markets going mobile spur spontaneity in trading considerably. Spontaneity, however, imposes severe informational requirements on the market participants. Inf...
117
click to vote
WSC
2004
15 years 5 months ago
2004
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
WSC
1997
15 years 5 months ago
1997
At a parcel delivery company, the items being shipped must be sorted by destination. However, the company typically serves more destinations than there are distinct positions for ...
137
Voted
CASCON
1996
15 years 5 months ago
1996
The performance of host communication subsystems is an important research topic in computer networks.1 Performance metrics such as throughput, delay, and packet loss are important...
170
click to vote
CGF
2002
15 years 4 months ago
2002
Our goal is to design and build a tool for the creation of expressive character animation. Virtual puppetry, also known as performance animation, is a technique in which the user ...