1213 search results - page 96 / 243 » Traceability for System Families |
171
click to vote
ECOOP
2003
Springer
15 years 11 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...
145
click to vote
AUTOMATICA
1999
15 years 6 months 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...
216
click to vote
CHI
2005
ACM
16 years 6 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 ...
155
click to vote
HYBRID
2007
Springer
16 years 15 days 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...
191
click to vote
BMCBI
2006
15 years 6 months 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...