530 search results - page 34 / 106 » Structural and Complexity Aspects of Line Systems of Graphs |
151
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
110
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...
107
click to vote
COMCOM
2004
15 years 1 months ago
2004
This paper presents a simulation study on complex On-Line Transaction Processing systems using TPC-C workload. The impacts on the response time of Inter-Connection Network (ICN) i...
131
click to vote
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
114
click to vote
SAMT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...