3468 search results - page 448 / 694 » An open logical framework |
163
click to vote
SDL
2001
15 years 5 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
145
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
134
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Wikipedia is an online encyclopedia that anyone can edit. In this open model, some people edits with the intent of harming the integrity of Wikipedia. This is known as vandalism. W...
149
Voted
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
123
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
We present a proposal for a next-generation Internet based on chargeable Web Services and Utility Computing realised by a series of open but interacting markets. We demonstrate thr...