2607 search results - page 364 / 522 » On the Architecture of System Verification Environments |
194
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
177
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
A need exists to develop groupware systems that adapt to available resources and support user mobility. This paper presents DACIA, a system that provides mechanisms for building s...
187
click to vote
WOA
2001
15 years 8 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
179
click to vote
TITS
2002
15 years 6 months ago
2002
This paper proposes a novel concept of intelligent navigator that can give the driver timely advice on safe and efficient driving. From both the current traffic condition obtained ...
207
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
The characteristics of mobile environments, with the possibility of frequent disconnections and fluctuating bandwidth, have forced a rethink of traditional middleware. In particu...