共 50 条
- [41] A structural computing model for dynamic service-based systems [J]. METAINFORMATICS, 2004, 3002 : 100 - 118
- [42] SEArch: An Execution Infrastructure for Service-Based Software Systems [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, 2024, 14676 : 314 - 330
- [43] Service-based systems engineering:: Consistent combination of services [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 86 - 104
- [44] ARCHITECTURE FOR SECURITY LEVEL EVALUATION IN SERVICE-BASED SYSTEMS [J]. COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 844 - 850
- [45] A service-based architecture for in-vehicle telematics systems [J]. 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS, 2002, : 741 - 742
- [46] Developing Self-Verifying Service-Based Systems [J]. 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 734 - 737
- [47] A Distributed Registry for Service-based Energy Management Systems [J]. 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 4710 - 4714
- [48] Can Component/Service-Based Systems Be Proved Correct? [J]. SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 3 - 18
- [49] Mitigating the Obsolescence of Specification Models of Service-Based Systems [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1462 - 1464