408 search results - page 10 / 82 » Towards a Logic for Performance and Mobility |
ISCC
2003
IEEE
14 years 1 months ago
2003
IEEE
Mobile communication is increasingly oriented towards the usage of all IP networks as fixed-network components. An open problem is how to provide QoS guarantees that are competit...
WOA
2000
13 years 9 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
ENGL
2006
13 years 8 months ago
2006
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...
MOBIDE
2005
ACM
14 years 1 months ago
2005
ACM
In the context of mobile data access, data caching is fundamental for both performance and functionality. For this reason there have been many studies into developing energy-effi...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...