2520 search results - page 121 / 504 » Model-checking behavioral programs |
UM
2005
Springer
15 years 6 months ago
2005
Springer
We present a computational framework designed to provide adaptive support aimed at triggering learning from problem-solving activities in the presence of worked-out examples. The k...
113
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
104
click to vote
CHI
2006
ACM
16 years 1 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
127
click to vote
JVM
2004
15 years 2 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
131
click to vote
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...