6740 search results - page 1127 / 1348 » Using Classification as a Programming Language |
135
click to vote
ICALP
2007
Springer
16 years 14 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
159
click to vote
ICALP
2007
Springer
16 years 14 days 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...
156
click to vote
IFIP
2007
Springer
16 years 14 days ago
2007
Springer
Although providing reliable network services is getting more and more important, currently used methods in IP networks are typically reactive and error correcting can take a long t...
195
click to vote
IFIP
2007
Springer
16 years 14 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
176
Voted
IFM
2007
Springer
16 years 14 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...