Sciweavers

2613 search results - page 115 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
157
Voted
CONCUR
2010
Springer
15 years 5 months ago
Conditional Automata: A Tool for Safe Removal of Negligible Events
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
Roberto Segala, Andrea Turrini
HICSS
2006
IEEE
139views Biometrics» more  HICSS 2006»
15 years 11 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...
OOPSLA
2005
Springer
15 years 10 months ago
Relational queries over program traces
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
Simon Goldsmith, Robert O'Callahan, Alexander Aike...
AVI
1994
15 years 6 months ago
Recognizing and Interpreting Diagrams in Design
Hand drawn diagrams are essential tools for thinking and communicating in the early phases of design, yet computer based drawing tools support diagramming and sketching only poorl...
Mark D. Gross
POPL
2005
ACM
16 years 5 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...