3441 search results - page 203 / 689 » Provenance of Software Development Processes |
225
click to vote
EGC
2005
Springer
15 years 9 months ago
2005
Springer
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
122
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
127
click to vote
PADL
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
141
click to vote
MMSP
2008
IEEE
15 years 10 months ago
2008
IEEE
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...
128
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...