5269 search results - page 779 / 1054 » order 2007 |
149
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
150
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
179
click to vote
FSTTCS
2007
Springer
16 years 27 days ago
2007
Springer
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pa...
156
click to vote
FUN
2007
Springer
16 years 27 days ago
2007
Springer
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
169
click to vote
GCC
2007
Springer
16 years 27 days ago
2007
Springer
Data integration has evolved to provide efficient data management across distributed and heterogeneous data sources in grid environment. However, existing works in data integratio...