1739 search results - page 158 / 348 » Writing Good Software Engineering Research Paper |
AOSD
2003
ACM
15 years 6 months ago
2003
ACM
A development task related to a crosscutting concern is challenging because a developer can easily get lost when exploring scattered elements of code and the complex tangle of rel...
103
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
78
Voted
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
89
Voted
ASWEC
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
139
Voted
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...