Software Testing Types.doc
multimedia
Where did I go wrong? Explaining errors in process models
PLC
Modeling Service Choreographies with Rule-enhanced Business Processes
ETALIS_RuleML_2011_Retractions
Model Checking Lecture 4. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.
1 Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Microsoft Research Joint work with Alan Jeffrey, DePaul University Imperial College,
Flexible access control policy specification with constraint logic programming Steve Barker, Peter J. Stuckey Presenter: Vijayant Dhankhar.
Aggregating Web Services: Choreography and WS-CDL Nickolaos Kavantzas, Web Services Architect Designer and Lead Editor of WS-CDL Oracle Corporation, April.
Telematics group University of Göttingen, Germany Integrated Application of TTCN Dieter Hogrefe.
International Telecommunication Union ITU-T Study Group 17, Geneva, 5-14 October 2005 An Introduction to version 3 Dr. Michael Ebner University Göttingen,
