Sciweavers

1609 search results - page 132 / 322
» Generating Application Development Environments for Java Fra...
Sort
View
SAC
2010
ACM
15 years 10 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
FPL
2007
Springer
124views Hardware» more  FPL 2007»
15 years 9 months ago
HARTES Toolchain Early Evaluation: Profiling, Compilation and HDL Generation
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
Koen Bertels, Georgi Kuzmanov, Elena Moscu Panaint...
AIIDE
2009
15 years 4 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
120
Voted
HICSS
2006
IEEE
139views Biometrics» more  HICSS 2006»
15 years 9 months ago
Tools for Building Intelligent Tutoring Systems
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generators...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
WWW
2009
ACM
16 years 3 months ago
Using static analysis for Ajax intrusion detection
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
Arjun Guha, Shriram Krishnamurthi, Trevor Jim