Sea Ling

According to our database, Sea Ling authored at least 59 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A survey on the use of access permission-based specifications for program verification.

Ayesha Sadiq, Yuan-Fang Li, Sea Ling

J. Syst. Softw., 2020

2019

Efficient Execution of Complex Context Queries to Enable Near Real-Time Smart IoT Applications.

Alireza Hassani, Alexey Medvedev, Arkady B. Zaslavsky, Pari Delir Haghighi, Prem Prakash Jayaraman, Sea Ling

Sensors, 2019

Context Definition and Query Language: Conceptual Specification, Implementation, and Evaluation.

Alireza Hassani, Alexey Medvedev, Pari Delir Haghighi, Sea Ling, Arkady B. Zaslavsky, Prem Prakash Jayaraman

Sensors, 2019

Sip4J: Statically inferring permission-based specifications for sequential Java programs.

Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Li Li, Ijaz Ahmed

CoRR, 2019

Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.

Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Evolution Traceability Roadmap for Business Processes.

Vrinda Yadav, Rushikesh K. Joshi, Sea Ling

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Benchmarking IoT Context Management Platforms: High-level Queries Matter.

Alexey Medvedev, Alireza Hassani, Arkady B. Zaslavsky, Pari Delir Haghighi, Sea Ling, Prem Prakash Jayaraman

Proceedings of the 2019 Global IoT Summit, 2019

2018

Querying IoT services: A smart carpark recommender use case.

Alireza Hassani, Pari Delir Haghighi, Sea Ling, Prem Prakash Jayaraman, Arkady B. Zaslavsky

Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

Context-as-a-Service Platform: Exchange and Share Context in an IoT Ecosystem.

Alireza Hassani, Alexey Medvedev, Pari Delir Haghighi, Sea Ling, Maria Indrawan-Santiago, Arkady B. Zaslavsky, Prem Prakash Jayaraman

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

A Tool for Traceable Evolution of Process Architectures.

Vrinda Yadav, Rushikesh K. Joshi, Sea Ling

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Situation Modelling, Representation, and Querying in Context-as-a-Service IoT Platform.

Alexey Medvedev, Alireza Hassani, Pari Delir Haghighi, Sea Ling, Maria Indrawan-Santiago, Arkady B. Zaslavsky, Ulrich Fastenrath, Florian Mayer, Prem Prakash Jayaraman, Niklas Kolbe

Proceedings of the 2018 Global Internet of Things Summit, 2018

2016

CDQL: A Generic Context Representation and Querying Approach for Internet of Things Applications.

Alireza Hassani, Pari Delir Haghighi, Prem Prakash Jayaraman, Arkady B. Zaslavsky, Sea Ling, Alexey Medvedev

Proceedings of the 14th International Conference on Advances in Mobile Computing and Multi Media, 2016

Data Ingestion and Storage Performance of IoT Platforms: Study of OpenIoT.

Alexey Medvedev, Alireza Hassani, Arkady B. Zaslavsky, Prem Prakash Jayaraman, Maria Indrawan-Santiago, Pari Delir Haghighi, Sea Ling

Proceedings of the Interoperability and Open-Source Solutions for the Internet of Things, 2016

Process Edification for Traceability in Evolving Architectures.

Vrinda Yadav, Rushikesh K. Joshi, Sea Ling

Proceedings of the 9th India Software Engineering Conference, 2016

Extracting Permission-Based Specifications from a Sequential Java Program.

Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Mobile social network in proximity: taxonomy, approaches and open challenges.

Chii Chang, Satish Narayana Srirama, Sea Ling

Int. J. Pervasive Comput. Commun., 2015

Service Discovery and Trust in Mobile Social Network in Proximity.

Chii Chang, Satish Narayana Srirama, Sea Ling

CoRR, 2015

An Energy-Efficient Inter-organizational Wireless Sensor Data Collection Framework.

Chii Chang, Seng W. Loke, Hai Dong, Flora D. Salim, Satish Narayana Srirama, Mohan Liyanage, Sea Ling

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

2014

Towards an adaptive mediation framework for Mobile Social Network in Proximity.

Chii Chang, Satish Narayana Srirama, Sea Ling

Pervasive Mob. Comput., 2014

Trustworthy service discovery for mobile social network in proximity.

Chii Chang, Sea Ling, Satish Narayana Srirama

Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014

SPiCa: a social private cloud computing application framework.

Chii Chang, Satish Narayana Srirama, Sea Ling

Proceedings of the 13th International Conference on Mobile and Ubiquitous Multimedia, 2014

2013

Situation-Awareness and Reasoning Using Uncertain Context in Mobile Peer-To-Peer Environments.

Waskitho Wibisono, Arkady B. Zaslavsky, Sea Ling

Int. J. Pervasive Comput. Commun., 2013

Scheduling parameter sweep workflow in the Grid based on resource competition.

Sucha Smanchat, Maria Indrawan, Sea Ling, Colin Enticott, David Abramson

Future Gener. Comput. Syst., 2013

Towards an Infrastructure-less SOA for Mobile Web Service Composition

Chii Chang, Sea Ling

CoRR, 2013

2012

An Adaptive Mediation Framework for Mobile P2P Social Content Sharing.

Chii Chang, Satish Narayana Srirama, Sea Ling

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

2011

Q-Aura: A Quantitative Model for Managing Mutual Awareness of Smart Social Artifacts.

Seng Wai Loke, Sea Ling, Maria Indrawan, Eddie Leung

IEEE Trans. Syst. Man Cybern. Part A, 2011

A Scheduler based on Resource Competition for Parameter Sweep Workflow.

Sucha Smanchat, Maria Indrawan, Sea Ling, Colin Enticott, David Abramson

Proceedings of the International Conference on Computational Science, 2011

ProMWS: Proactive mobile Web service provision using context-awareness.

Chii Chang, Sea Ling, Shonali Krishnaswamy

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

2010

Collaborative context management framework for mobile ad hoc network environments.

Waskitho Wibisono, Sea Ling, Arkady B. Zaslavsky

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Modified Ais-based Classifier for Music Genre Classification.

Noor Azilah Draman, Campbell Wilson, Sea Ling

Proceedings of the 11th International Society for Music Information Retrieval Conference, 2010

CoMiHoC: A Middleware Framework for Context Management in MANET Environment.

Waskitho Wibisono, Arkady B. Zaslavsky, Sea Ling

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

A Context Middleware Framework for Managing Context in Mobile Ad Hoc Network Environment.

Waskitho Wibisono, Sea Ling, Arkady B. Zaslavsky

Proceedings of the MDM 2009, 2009

Toward grid workflow scheduling based on resource competition.

Sucha Smanchat, Sea Ling, Maria Indrawan

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Scheduling Multiple Parameter Sweep Workflow Instances on the Grid.

Sucha Smanchat, Maria Indrawan, Sea Ling, Colin Enticott, David Abramson

Proceedings of the Fifth International Conference on e-Science, 2009

2008

Toward a model of service interaction enabler in mobile environment.

Eddie Leung, Maria Indrawan, Sea Ling

Proceedings of the 2008 International Workshop on Context Enabled Source and Service Selection, 2008

A survey on context-aware workflow adaptations.

Sucha Smanchat, Sea Ling, Maria Indrawan

Proceedings of the MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24, 2008

Towards a framework for mobile information environments: a hospital-based example.

Linda L. Dawson, Sea Ling, Maria Indrawan, Stephen Weeding, Juanita I. Fernando

Proceedings of the MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24, 2008

Towards a context-aware solution for device failures in service-oriented workflow.

Chii Chang, Sea Ling

Proceedings of the iiWAS'2008, 2008

Towards a Service-Oriented Approach for Managing Context in Mobile Environment.

Waskitho Wibisono, Arkady B. Zaslavsky, Sea Ling

Proceedings of the Service-Oriented Computing, 2008

2007

RFID-based user profiling of fashion preferences: blueprint for a smart wardrobe.

Sea Ling, Maria Indrawan, Seng Wai Loke

Int. J. Internet Protoc. Technol., 2007

Towards a Model of Interaction for Mutual Aware Devices and Everyday Artifacts.

Sea Ling, Seng Wai Loke, Maria Indrawan

Proceedings of the Ubiquitous Intelligence and Computing, 4th International Conference, 2007

Realising aura for initiating interactions in real environments.

Victor Juay, Maria Indrawan, Sea Ling

Proceedings of the 4th International Conference on Mobile Technology, 2007

Unobtrusive User Profiling: The Use of RFID to Create a Smart Wardrobe.

Maria Indrawan, Seng Wai Loke, Sea Ling, Frida Samara

Proceedings of the RFID Technology - Concepts, Applications, Challenges, Proceedings of the 1st International Workshop on RFID Technology, 2007

Evaluating Cross-layer Context Exchange in Mobile Ad-hoc Networks with Colored Petri Nets.

Ruwini E. Kodikara, Sea Ling, Arkady B. Zaslavsky

Proceedings of the IEEE International Conference on Pervasive Services, 2007

Adaptive Workflows for Smart Devices - A Concrete Approach Towards Device Failures.

Seng Wai Loke, Sea Ling, Maria Indrawan, Suryani Kurniati

Proceedings of the ICEIS 2007, 2007

2005

Asynchronous and Synchronous Communications in Petri Nets for Run-Time Analysis of a Device Ecology.

Sucha Smanchat, Maria Indrawan, Sea Ling, Seng Wai Loke

Proceedings of the iiWAS'2005, 2005

Levels of Abstraction in Programming Device Ecology Workflows.

Seng Wai Loke, Sea Ling, Gerry Butler, Brett Gillick

Proceedings of the ICEIS 2005, 2005

2004

Analyzing Observable Behaviours of Device Ecology Workflows.

Seng Wai Loke, Sea Ling

Proceedings of the ICEIS 2004, 2004

Adding Flexibility to a Room Booking System Using Argumentation-Inspired Negotiations as Mediated by Mobile Agents.

Cheah Wai Shiang, Seng Wai Loke, Shonali Krishnaswamy, Sea Ling

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003

Describing Web Service Architectures through Design-by-Contract.

Sea Ling, Iman Poernomo, Heinz W. Schmidt

Proceedings of the Computer and Information Sciences, 2003

Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach.

Sea Ling, Seng Wai Loke

Proceedings of the ICEIS 2003, 2003

MIP-Nets: A Compositional Model of Multiagent Interaction.

Sea Ling, Seng Wai Loke

Proceedings of the Multi-Agent Systems and Applications III, 2003

A formal compositional model of multiagent interaction.

Sea Ling, Seng Wai Loke

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows.

Sea Ling, Seng Wai Loke

Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

2001

Verification of Itineraries for Mobile Agent Enabled Interorganizational Workflow.

Sea Ling, Seng Wai Loke

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000

Time Petri nets for workflow modelling and analysis.

Sea Ling, Heinz W. Schmidt

Proceedings of the IEEE International Conference on Systems, 2000

1999

Constructing Interoperable Components in Distributed Systems.

Sea Ling, Heinz W. Schmidt, Rohan Fletcher

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

1996

Towards Analysing a Class of Object Petri Nets.

Sea Ling, Heinz W. Schmidt

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1993

A Comparison of Techniques for Specifying Concurrent Systems Using the Object-Oriented Paradigm.

Sea Ling, Bohdan Durnota

Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993