Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
An Evolutionary Trust and Distrust Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Modeling a distributed intrusion detection system using collaborative building blocks
ACM SIGSOFT Software Engineering Notes
A multidimensional reputation scheme for identity federations
EuroPKI'09 Proceedings of the 6th European conference on Public key infrastructures, services and applications
Model-driven protocol design based on component oriented modeling
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A developer-friendly approach for the validation of dynamic compositions
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Temporal logic-based specification and verification of trust models
iTrust'06 Proceedings of the 4th international conference on Trust Management
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On the formalization of UML activities for component-based protocol design specifications
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Compositional verification of application-level security properties
ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
Hi-index | 0.00 |