Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A Constraint-Oriented Service Creation Environment
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Automatic Error Location for IN Service Definition
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Lightweight coarse-grained coordination: a scalable system-level approach
International Journal on Software Tools for Technology Transfer (STTT)
B2B integration over the Internet with XML: RosettaNet successes and challenges
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Remote Integration and Coordination of Verification Tools in JETI
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Service-Oriented design: the roots
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Data-Flow analysis as model checking within the jABC
CC'06 Proceedings of the 15th international conference on Compiler Construction
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
Service-Oriented Mediation with jETI/jABC: Verification and Export
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
An Approach to Discovery with miAamics and jABC
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Middleware: just another level for orchestration
Proceedings of the 2007 Workshop on Middleware for next-generation converged networks and applications
A survey of agent-oriented software engineering for service-oriented computing
International Journal of Web Engineering and Technology
Policy expression and checking in XACML, WS-Policies, and the jABC
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Verified Software: Theories, Tools, Experiments
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Journal of Theoretical and Applied Electronic Commerce Research
Science of Computer Programming
ViDoC- visual design of optimizing compilers
Program analysis and compilation, theory and practice
Building code generators with genesys: a tutorial introduction
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Scientific workflows: eternal components, changing interfaces, varying compositions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
ODP RM reflections on open service ecosystems
Computer Standards & Interfaces
| Hi-index | 4.10 |
Service-oriented design has long driven the development of the telecommunicationsinfrastructure and applications, especially intelligent network services. Applying the sameprinciples of domain specificity, virtualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services