Sciweavers

6303 search results - page 1148 / 1261
» A Generated Management for Distributed Systems
Sort
View
88
Voted
HSNMC
2004
Springer
106views Multimedia» more  HSNMC 2004»
15 years 6 months ago
Two-Tier Geographic Location of Internet Hosts
Multimedia delivery systems, such as Content Distribution Networks (CDNs), improve by knowing the geographic location of their clients. Therefore, we focus on a measurement-based g...
Bamba Gueye, Artur Ziviani, Serge Fdida, Jos&eacut...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 6 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
CLUSTER
2003
IEEE
15 years 6 months ago
HPCM: A Pre-Compiler Aided Middleware for the Mobility of Legacy Code
Mobility is a fundamental functionality of the next generation internet computing. How to support mobility for legacy codes, however, is still an issue of research. The key to sol...
Cong Du, Xian-He Sun, Kasidit Chanchio
122
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
EMPOWER: A Network Emulator for Wireless and Wireline Networks
— The increasing need of protocol development environments and network performance evaluation tools gives rise to the research of flexible, scalable, and accurate network emulato...
Pei Zheng, Lionel M. Ni
103
Voted
ATAL
2003
Springer
15 years 6 months ago
Towards a motivation-based approach for evaluating goals
Traditional goal-oriented approaches to building intelligent agents only consider absolute satisfaction of goals. However, in continuous domains there may be many instances in whi...
Stephen J. Munroe, Michael Luck, Mark d'Inverno
« Prev « First page 1148 / 1261 Last » Next »