1213 search results - page 96 / 243 » Traceability for System Families |
114
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
94
Voted
AUTOMATICA
1999
15 years 14 days ago
1999
We consider stability analysis and state feedback synthesis for Linear Parameter Varying (LPV) systems. LPV systems are de"ned as linear systems whose dynamics depend on exog...
140
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
In this paper we introduce the idea of organizing systems. Through a number of examples from an ongoing ethnographic study of family life, we suggest that organizing systems come ...
95
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
129
Voted
BMCBI
2006
15 years 26 days ago
2006
Background: Protein sequence clustering has been widely used as a part of the analysis of protein structure and function. In most cases single linkage or graph-based clustering al...