2261 search results - page 311 / 453 » Relationships Between Models of Concurrency |
184
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a two-leveled mobile agent system for electronic commerce. It is based on mobile agents as mediators and uses the publish/subscribe paradigm for registration an...
210
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
162
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Image-based 3D atlases have been proven to be very useful in biological and medical research. They serve as spatial reference systems that enable researchers to integrate experime...
174
click to vote
ISMAR
2005
IEEE
16 years 10 days ago
2005
IEEE
Recently Augmented Reality (AR) technology has been used to develop the next generation collaborative interfaces. First results have shown the value of using AR for co-located tas...
148
click to vote
CEAS
2005
Springer
16 years 8 days ago
2005
Springer
Email is an increasingly important and ubiquitous means of communication, both facilitating contact between individuals and enabling rises in the productivity of organizations. Ho...