1650 search results - page 76 / 330 » The HOM problem is decidable |
FORMATS
2009
Springer
14 years 4 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
STACS
2007
Springer
14 years 4 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
RTA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper is a contribution to the long standing open problem of uniform termination of Semi-Thue Systems that consist of one rule s → t. McNaughton previously showed ...
VLDB
1997
ACM
14 years 2 months ago
1997
ACM
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...