Sciweavers

2680 search results - page 276 / 536
» The topology of the independence complex
Sort
View
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
15 years 5 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...
CLUSTER
2004
IEEE
15 years 5 months ago
Towards informatic analysis of Syslogs
The complexity and cost of isolating the root cause of system problems in large parallel computers generally scales with the size of the system. Syslog messages provide a primary ...
John Stearley
CIT
2006
Springer
15 years 5 months ago
An Event Notification Service based on XML Messaging on Different Transport Technologies
With the size and increasing complexity of telecom networks, there is a need to interconnect management systems at different levels. This requires information flow across many app...
Ravinder Thirumala, N. Usha Rani, Timothy A. Gonsa...
COCO
2006
Springer
97views Algorithms» more  COCO 2006»
15 years 5 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...
COMPSAC
2006
IEEE
15 years 5 months ago
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
Michel Jaring