Sciweavers

3736 search results - page 511 / 748
» Generative Programming
Sort
View
150
Voted
OOPSLA
2007
Springer
16 years 23 days ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
187
Voted
UM
2007
Springer
16 years 22 days ago
Evaluating a Simulated Student Using Real Students Data for Training and Testing
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
Noboru Matsuda, William W. Cohen, Jonathan Sewall,...
CLUSTER
2006
IEEE
16 years 21 days ago
A Performance Prediction Methodology for Data-dependent Parallel Applications
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
Paula Cecilia Fritzsche, Concepció Roig, An...
NSPW
2006
ACM
16 years 18 days ago
Cent, five cent, ten cent, dollar: hitting botnets where it really hurts
Spyware, Adware, Bots. In each case, there is significant evidence that there is an increasing financial motivation behind the writing and distribution of these programs. In thi...
Richard Ford, Sarah Gordon
SI3D
2005
ACM
16 years 6 days ago
Adaptive sampling of intersectable models exploiting image and object-space coherence
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...
Anders Adamson, Marc Alexa, Andrew Nealen