-
2
-
-
1642394689
-
-
B. Atkinson, G. Della-Libers, S. Hada, M. Hondo, P. Hallam-Baker, J. Klein, B. LaMacchia, P. Leach, J. Manferdelli, H. Maruyama, A. Nadalin, N. Nagaratnam, H. Prafullchandra, J. Shewchuk, and D. Simon. Web Services Security (WS-Security), 2002
-
(2002)
Web Services Security (WS-Security
-
-
Atkinson, B.1
Della-Libers, G.2
Hada, S.3
Hondo, M.4
Hallam Baker, P.5
Klein, J.6
Lamacchia, B.7
Leach, P.8
Manferdelli, J.9
Maruyama, H.10
Nadalin, A.11
Nagaratnam, N.12
Prafullchandra, H.13
Shewchuk, J.14
Simon, D.15
-
3
-
-
19044375174
-
An overview of jml tools and applications
-
L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer, 7(3):212-232, 2005
-
(2005)
International Journal on Software Tools for Technology Transfer
, vol.7
, Issue.3
, pp. 212-232
-
-
Burdy, L.1
Cheon, Y.2
Cok, D.R.3
Ernst, M.D.4
Kiniry, J.R.5
Leavens, G.T.6
Leino, K.R.M.7
Poll, E.8
-
4
-
-
33744965631
-
Towards dynamic monitoring of bpel processes
-
In B. Benatallah, F. Casati, and P. Traverso, editors of Lecture Notes in Computer Science Springer
-
L. Baresi and S. Guinea. Towards Dynamic Monitoring of BPEL Processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, volume 3826 of Lecture Notes in Computer Science, pages 269-282. Springer, 2005
-
(2005)
ICSOC
, vol.3826
, pp. 269-282
-
-
Baresi, L.1
Guinea, S.2
-
5
-
-
33745397829
-
-
In C. Bussler and M. Shan, editors TES 3811 of Lecture Notes in Computer Science Springer
-
L. Baresi, S. Guinea, and P. Plebani. WS-Policy for Service Monitoring. In C. Bussler and M. Shan, editors, TES, volume 3811 of Lecture Notes in Computer Science, pages 72-83. Springer, 2005
-
(2005)
WS-Policy for Service Monitoring
, pp. 72-83
-
-
Baresi, L.1
Guinea, S.2
Plebani, P.3
-
9
-
-
29744450693
-
Colombo: Lightweight middleware for service-oriented computing
-
F. Curbera, M. J. Duftler, R. Khalaf, W. A. Nagy, N. Mukhi, and S. Weerawarana. Colombo: Lightweight Middleware for Service-Oriented Computing. IBM Syst. J., 44(4):799-820, 2005
-
(2005)
IBM Syst. J.
, vol.44
, Issue.4
, pp. 799-820
-
-
Curbera, F.1
Duftler, M.J.2
Khalaf, R.3
Nagy, W.A.4
Mukhi, N.5
Weerawarana, S.6
-
10
-
-
85008035986
-
Scaling system-level science: Scientific exploration and it implications
-
November
-
I. Foster and C. Kesselman. Scaling system-level science: Scientific exploration and it implications. Computer, 39(11):31-39, November 2006
-
(2006)
Computer
, vol.39
, Issue.11
, pp. 31-39
-
-
Foster, I.1
Kesselman, C.2
-
11
-
-
18744404327
-
-
I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, 2004
-
(2004)
SWRL: A Semantic Web Rule Language Combining OWL and RuleML
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Boley, H.3
Tabet, S.4
Grosof, B.5
Dean, M.6
-
15
-
-
84889874835
-
-
Web Services Trust Language
-
IBM, Microsoft, Layer 7 Technologies, Oblix, Verisign, Actional, Computer Associates, OpenNetwork Technologies, Ping Identity, Reactivity, and RSA Security. Web Services Trust Language, 2005
-
(2005)
IBM Microsoft Layer 7 Technologies, Oblix, Verisign, Actional, Computer Associates, OpenNetwork Technologies, Ping Identity, Reactivity, and RSA Security
-
-
-
20
-
-
0022025285
-
An overview of Anna, a specification language for Ada
-
March
-
D. C. Luckham and F. W. von Henke. An overview of Anna, a specification language for Ada. IEEE Software, 2(2):9-22, March 1985
-
(1985)
IEEE Software
, vol.2
, Issue.2
, pp. 9-22
-
-
Luckham, D.C.1
Von Henke, F.W.2
-
24
-
-
30944440547
-
Design by contract components and debugging
-
B. Meyer. Design by Contract, Components and Debugging. JOOP, 11(8):75-79, 1999
-
(1999)
JOOP
, vol.11
, Issue.8
, pp. 75-79
-
-
Meyer, B.1
-
27
-
-
84886843322
-
Xlinkit: A consistency checking and smart link generation service
-
C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. Xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, 2002
-
(2002)
ACM Transactions on Internet Technology
, vol.2
, Issue.2
, pp. 151-185
-
-
Nentwich, C.1
Capra, L.2
Emmerich, W.3
Finkelstein, A.4
-
28
-
-
12844281065
-
Decentralizing execution of composite web services
-
In J. M. Vlissides and D. C. Schmidt, editors ACM
-
M. G. Nanda, S. Chandra, and V. Sarkar. Decentralizing Execution of Composite Web Services. In J. M. Vlissides and D. C. Schmidt, editors, OOPSLA, pages 170-187. ACM, 2004
-
(2004)
OOPSLA
, pp. 170-187
-
-
Nanda, M.G.1
Chandra, S.2
Sarkar, V.3
-
30
-
-
0029185391
-
A practical approach to programming with assertions
-
D. S. Rosenblum. A Practical Approach to Programming with Assertions. IEEE Trans. Software Eng., 21(1):19-31, 1995
-
(1995)
IEEE Trans. Software Eng
, vol.21
, Issue.1
, pp. 19-31
-
-
Rosenblum, D.S.1
|