3024 search results - page 124 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
148
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
134
click to vote
SEAA
2008
IEEE
15 years 11 months ago
2008
IEEE
With the growing popularity of Web services, an increasing number of Web services have been integrated into and used by complex service oriented systems. As a result, the manageme...
167
click to vote
SE
2008
15 years 6 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
122
Voted
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
137
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
The popularity of Service Oriented Computing (SOC) brings a large number of distributed, well-encapsulated and reusable services all over internet, and makes it possible to create...