127 search results - page 20 / 26 » Contract-Based Approach to Analyze Software Components |
143
click to vote
APCSAC
2005
IEEE
15 years 10 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...
168
click to vote
SAC
2011
ACM
14 years 8 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...
152
click to vote
ISORC
2005
IEEE
15 years 10 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...
171
click to vote
SAFECOMP
2009
Springer
15 years 11 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...
166
click to vote
DAC
2006
ACM
15 years 7 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 ...