25156 search results - page 4913 / 5032 » Applications for conscious systems |
182
click to vote
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
Negotiation is a process in which two or more parties with different criteria, constraints, and preferences, jointly reach an agreement on the terms of a transaction. Many current...
200
click to vote
CSFW
2002
IEEE
15 years 10 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
166
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
168
click to vote
HAPTICS
2002
IEEE
15 years 10 months ago
2002
IEEE
We have developed a multi-modal virtual environment set-up by fusing visual and haptic images through the use of a new autostereoscopic display and a force-feedback haptic device....
135
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
One trend in day-to-day computing involves moving seamlessly from large powerful workstations to small handheld devices. A second trend is continuous collaboration with colleagues...