5904 search results - page 434 / 1181 » Requirements for a Composition Language |
203
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
191
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
231
click to vote
CASCON
2010
15 years 5 months ago
2010
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
174
click to vote
PROVSEC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
187
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...