4693 search results - page 807 / 939 » Verifying Hybrid Systems |
178
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— Recently, there has been a growing interest in biologically inspired biped locomotion control with Central Pattern Generator (CPG). However, few experimental attempts on real h...
184
click to vote
IEEECIT
2005
IEEE
16 years 2 days ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
165
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
— In this paper, we study the interaction between overlay routing and Traffic Engineering (TE) in a single Autonomous System (AS). We formulate this interaction as a twoplayer n...
188
click to vote
NDSS
2005
IEEE
16 years 1 days ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
157
click to vote
PDP
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper we present a methodology to analyze the behavior and performance of Java application servers using a performance analysis framework. This framework considers all lev...