308 search results - page 53 / 62 » Type Access Analysis: Towards Informed Interface Design |
CANDC
2009
ACM
14 years 2 months ago
2009
ACM
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...
BIRTHDAY
2010
Springer
14 years 25 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
ITNG
2007
IEEE
14 years 2 months ago
2007
IEEE
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
ESCIENCE
2006
IEEE
13 years 11 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
BMCBI
2010
13 years 8 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...