11212 search results - page 1827 / 2243 » Semi-persistent Data Structures |
157
click to vote
ER
2007
Springer
16 years 15 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
156
click to vote
FORMATS
2007
Springer
16 years 15 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
192
click to vote
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
155
click to vote
FSEN
2007
Springer
16 years 15 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
127
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...