3837 search results - page 499 / 768 » Concurrent Engineering support in Software Engineering |
147
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
121
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
141
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
153
click to vote
PEPM
2010
ACM
16 years 25 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
145
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...