2500 search results - page 26 / 500 » Specifying Behavior in C |
UIST
1996
ACM
14 years 1 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
MICAI
2004
Springer
14 years 2 months ago
2004
Springer
SIMULATION
2010
13 years 3 months ago
2010
ALT
2005
Springer
14 years 6 months ago
2005
Springer
This paper shows how universal learning can be achieved with expert advice. To this aim, we specify an experts algorithm with the following characteristics: (a) it uses only feedba...