1
Published 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
View full text
Electronic eBook
2
Table of Contents: ... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...
View full text
Electronic eBook