127 search results - page 20 / 26 » Contract-Based Approach to Analyze Software Components |
APCSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Fibonacci Cubes (FCs), together with the enhanced and extended forms, are a family of interconnection topologies formed by diluting links from binary hypercube. While they scale up...
115
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...
100
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
123
click to vote
SAFECOMP
2009
Springer
15 years 6 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
110
click to vote
DAC
2006
ACM
15 years 1 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...