2944 search results - page 357 / 589 » On Well Quasi-orders on Languages |
173
click to vote
ASIAN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
164
click to vote
CAISE
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
166
click to vote
CC
2007
Springer
16 years 24 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
139
click to vote
COSIT
2007
Springer
16 years 24 days ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
167
click to vote
ECML
2007
Springer
16 years 24 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...