6110 search results - page 1036 / 1222 » Graceful Network Operations |
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
140
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes the development of a legged robot designed for general locomotion of complex terrain but specialized for dynamical, high-speed climbing of a uniformly conv...
191
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...
164
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In last years, trust and reputation has been gaining increasing interest in multi-agent systems (MAS). To address this issue, we propose in this paper a maintenance-based trust me...
168
click to vote
COCOA
2009
Springer
16 years 1 months ago
2009
Springer
In the context of scheduling and timetabling, we study a challenging combinatorial problem which is very interesting for both practical and theoretical points of view. The motivati...