345 search results - page 29 / 69 » Computer-Assisted Simulation Proofs |
100
click to vote
APPML
2006
15 years 2 months ago
2006
Most balancing markets of electric power are organized as uniform-price auctions. In 2001, the balancing market of England and Wales switched to a pay-as-bid auction with the inte...
106
click to vote
ENTCS
2002
15 years 2 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
144
click to vote
ICWE
2010
Springer
15 years 29 days ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
122
click to vote
KI
2010
Springer
15 years 11 days ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...
131
Voted
FOSSACS
2011
Springer
14 years 6 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...