Search
CSV
RISRegularity of movement based approach for M2M services discovery
Publisher: IEEE
Year: 2014
An Efficient Service Selection Approach with Time-Dependent QoS
Publisher: IEEE
Year: 2014
Analytical Decisional Model for Publish/Subscribe Systems on MANET
Publisher: IEEE
Year: 2014
Toward a Verification of Time-Centric Business Process Models
Publisher: IEEE
Year: 2014
DAT: Dependency Analysis Tool for Service Based Business Processes
Publisher: IEEE
Year: 2014
CEP4Cloud: Complex Event Processing for Self-Healing Clouds
Publisher: IEEE
Year: 2014
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
Publisher: IEEE
Year: 2014