×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [operational semantics]
Documents
Software Testing Types.doc
111 views
Technology
multimedia
1.135 views
Education
Where did I go wrong? Explaining errors in process models
234 views
Documents
PLC
13 views
Technology
Modeling Service Choreographies with Rule-enhanced Business Processes
815 views
Technology
ETALIS_RuleML_2011_Retractions
448 views
Documents
Model Checking Lecture 4. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking
217 views
Documents
1 Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Microsoft Research Joint work with Alan Jeffrey, DePaul University Imperial College,
222 views
Documents
Flexible access control policy specification with constraint logic programming Steve Barker, Peter J. Stuckey Presenter: Vijayant Dhankhar
222 views
Documents
Aggregating Web Services: Choreography and WS-CDL Nickolaos Kavantzas, Web Services Architect Designer and Lead Editor of WS-CDL Oracle Corporation, April
215 views
Documents
Telematics group University of Göttingen, Germany Integrated Application of TTCN Dieter Hogrefe
217 views
Documents
International Telecommunication Union ITU-T Study Group 17, Geneva, 5-14 October 2005 An Introduction to version 3 Dr. Michael Ebner University Göttingen,
212 views
Next >