Sciweavers

3972 search results - page 461 / 795
» Design of the iSCSI Protocol
Sort
View
NOMS
2000
IEEE
112views Communications» more  NOMS 2000»
15 years 11 months ago
Integration of mobile agents with SNMP: why and how
Mobile agents have been proposed as a solution to the problem of the management of increasingly heterogeneous networks. However, the proposed solutions often ignore the value of l...
Bernard Pagurek, Y. Wang, Tony White
CODES
1999
IEEE
15 years 11 months ago
Optimizing geographically distributed timed cosimulation by hierarchically grouped messages
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...
Sungjoo Yoo, Kiyoung Choi
KBSE
1997
IEEE
15 years 11 months ago
Distributed Cooperative Formal Methods Tools
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, ...
RTSS
1996
IEEE
15 years 11 months ago
Value-cognizant admission control for RTDB systems
Admission control and overload management techniques are central to the design and implementation of RealTime Database Systems. In this paper, we motivate the need for these mecha...
Azer Bestavros, Sue Nagy
AINA
2007
IEEE
15 years 10 months ago
An Agent-Based Architecture for Context-Aware Communication
We propose an agent-based architecture that allows context-aware communication between users. In seeking a model that is suitable for the design of the required functionalities of...
Romelia Plesa, Luigi Logrippo