1302 search results - page 102 / 261 » Fair Equivalence Relations |
WADT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
WEBDB
2004
Springer
14 years 3 months ago
2004
Springer
We consider the scenario where existing relational data is exported as XML. In this context, we look at the problem of translating XML queries into SQL. XML query languages have t...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
There are various techniques for adapting the transmission rate of an application while maintaining the perceived quality at the receiver at acceptable levels. Shared channel syst...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...