1220 search results - page 170 / 244 » Diagnosing Design Problems in Object Oriented Systems |
HYBRID
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
119
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper deals with the class of polynomially uncertain continuous-time linear time-invariant (LTI) systems whose uncertainties belong to a semi-algebraic set. The objective ...
PODC
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
117
click to vote
ICPADS
2006
IEEE
15 years 5 months ago
2006
IEEE
We developed Hi-sap, a web server system that ensures the security in a server and has high performance when processing dynamic content. In existing servers, server embedded progr...