8492 search results - page 1362 / 1699 » Modelling and Design of Multi-Agent Systems |
194
click to vote
WWW
2010
ACM
2010
ACM
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
16 years 1 months ago
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...
182
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
182
click to vote
IWQOS
2004
Springer
16 years 3 days ago
2004
Springer
— We propose an algorithm for design and on the fly modification of the schedule of a wireless ad hoc network for provision of fair service guarantees under topological changes...
240
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
166
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Performance of WLANs has been extensively studied during the past few years. While the focus has mostly been on isolated cells, the coverage of WLANs is in practice most often rea...