9067 search results - page 8 / 1814 » Adaptive Model Checking |
CONCUR
2003
Springer
14 years 3 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
FBT
2000
13 years 11 months ago
2000
FOAL
2009
ACM
14 years 4 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...