3713 search results - page 145 / 743 » Constructing a Calculus of Programs |
142
click to vote
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
147
Voted
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
125
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: We observe two trends in bioinformatics: (i) analyses are increasing in complexity, often requiring several applications to be run as a workflow; and (ii) multiple CPU...
147
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
163
click to vote
VEE
2006
ACM
15 years 9 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....