COMPSAC
2007
IEEE
13 years 8 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
COMPSAC
2007
IEEE
13 years 8 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
COMPSAC
2007
IEEE
13 years 8 months ago
2007
IEEE
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Understanding and maintaining legacy COBOL systems are still a challenging task for both academic research and industry practice. With the development of aspect-oriented software ...