821 search results - page 138 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
102
click to vote
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
103
click to vote
E4MAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...