10038 search results - page 1788 / 2008 » Model Checking for Managers |
135
Voted
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
The 3D Morse-Smale complex is a fundamental topological construct that partitions the domain of a real-valued function into regions having uniform gradient flow behavior. In this...
137
click to vote
TRIDENTCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
168
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
Policy-based messaging (PBM) aims at carrying security policies with messages, which will be enforced at recipient systems to provide security features. PBM promotes a distributed...
245
Voted
WIOPT
2005
IEEE
15 years 10 months ago
2005
IEEE
— Performance measurements of IEEE 802.11 access points provide important information for networking research and network management. In this paper, we present an active measurem...
130
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
Despite recent advances in trust relationship control mechanisms, issues remain that impede the development of effective trust models. One of these is the lack of dynamic mechanis...