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