Sciweavers

1860 search results - page 74 / 372
» tools 2009
Sort
View
ECOOP
2009
Springer
15 years 11 months ago
Practical API Protocol Checking with Access Permissions
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
92
Voted
ECBS
2009
IEEE
106views Hardware» more  ECBS 2009»
15 years 5 months ago
Extensibility and Modularity for Model Driven Engineering Environments
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
Thomas Leveque, Jacky Estublier, Germán Veg...
ISEUD
2009
Springer
15 years 5 months ago
Fast, Accurate Creation of Data Validation Formats by End-User Developers
Abstract. Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) ...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
SGAI
2009
Springer
15 years 5 months ago
Ontology-Driven Hypothesis Generation to Explain Anomalous Patient Responses to Treatment
Within the medical domain there are clear expectations as to how a patient should respond to treatments administered. When these responses are not observed it can be challenging fo...
Laura Moss, Derek H. Sleeman, Malcolm Sim, Malcolm...
LCPC
2009
Springer
15 years 3 months ago
A Balanced Approach to Application Performance Tuning
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...
Souad Koliai, Stéphane Zuckerman, Emmanuel ...