166 search results - page 2 / 34 » Contracts Made Manifest |
JISBD
2001
13 years 6 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
AUTOMATICA
2008
13 years 5 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Once the decision to outsource an activity has been made, managers are faced with issues related to the management of the relationship with their service providers. A critical ele...
FORTE
2003
13 years 6 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
ESA
2004
Springer
13 years 10 months ago
2004
Springer
Edge contraction is shown to be a useful mechanism to improve lower bound heuristics for treewidth. A successful lower bound for treewidth is the degeneracy: the maximum over all ...