7557 search results - page 1237 / 1512 » Modeling Timed Concurrent Systems |
222
Voted
ACSD
2005
IEEE
16 years 1 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
200
click to vote
HAPTICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Multi-fingers haptic device that enables multiple point of contact is essential for medical education. There is a strong need for palpation training in the detection of subsurface...
182
Voted
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Change and the resistance to change has been a common occurrence probably since before recorded time. It is normal to resist that which may bring unfamiliarity and the unknown int...
204
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper explores search behavior of online shoppers. Information economics literature suggests that search cost in electronic markets has essentially been reduced to zero as co...
198
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...