1
Published 2012
Table of Contents: ... Environments -- OEIRM: An Open Distributed Processing Based Interoperability Reference Model for e-Science...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... for Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... on Semantics and Complex Event Processing -- Domain-Specific OWL Ontology Visualization with OWLGrEd -- Product...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Using Annotated Web Services -- From Mockups to User Interface Models: An Extensible Model Driven...
View full text
Electronic eBook