2372 search results - page 262 / 475 » Probabilistic calling context |
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: Voice user interfaces (VUIs) have become very common for telephone based applications, e.g. call centers and value-added services. Though there are advantages for further fields ...
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
Symmetries are not only fascinating, but they can also be exploited when designing numerical algorithms and data structures for scientific engineering problems in symmetrical doma...
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
The intrinsic flexibility and dynamism of service-centric applications preclude their pre-release validation and demand for suitable probes to monitor their behavior at run-time. ...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...