2501 search results - page 211 / 501 » Obligations and Their Interaction with Programs |
145
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
143
Voted
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
111
click to vote
ICCHP
2004
Springer
15 years 10 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
103
click to vote
NIME
2004
Springer
15 years 10 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
123
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...