9325 search results - page 417 / 1865 » The decentralized implementability problem |
120
Voted
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
116
click to vote
DEXA
1998
Springer
15 years 9 months ago
1998
Springer
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
133
click to vote
FPL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
138
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
This paper shows that geographic information system can successfully solve TSP (travelling salesman problem). It has been done using a module of the designed and implemented by aut...
133
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...