Sciweavers

1438 search results - page 54 / 288
» Models for Trustworthy Service and Process Oriented Systems
Sort
View
FDL
2008
IEEE
16 years 23 days ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
BPSC
2009
142views Business» more  BPSC 2009»
15 years 7 months ago
Maintaining WS-BPEL Workflows Using Aspects
: In Service Oriented systems organisational processes are represented as WS-BPEL workflows, BPEL is different from traditional workflow languages as a hybrid of block-based and gr...
Connie Haoying Bao, Nicolas Gold, Mark Harman
IEEESCC
2007
IEEE
16 years 18 days ago
A Service Discovery Framework based on Linear Composition
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
Andrea Zisman, Khaled Mahbub, George Spanoudakis
CISIS
2010
IEEE
15 years 11 months ago
Resilient Critical Infrastructure Management Using Service Oriented Architecture
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
Martin Hall-May, Mike Surridge
ECBS
2009
IEEE
193views Hardware» more  ECBS 2009»
15 years 4 months ago
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...