3792 search results - page 604 / 759 » Techniques for Trusted Software Engineering |
185
Voted
SOCO
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
203
Voted
CAISE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
170
Voted
CIKM
2004
Springer
16 years 13 days ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
179
Voted
ICFEM
2004
Springer
16 years 12 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
176
click to vote
SEKE
2004
Springer
16 years 11 days ago
2004
Springer
Bug triage, deciding what to do with an incoming bug report, is taking up increasing amount of developer resources in large open-source projects. In this paper, we propose to appl...