1213 search results - page 95 / 243 » Traceability for System Families |
92
Voted
PROCOMET
1998
15 years 2 months ago
1998
We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B
86
Voted
AUTOMATICA
2002
15 years 20 days ago
2002
The subject of this paper is hybrid control of nonlinear systems with large-scale uncertainty. We describe a high-level controller, called a "supervisor", which orchestr...
103
Voted
JLP
2011
14 years 7 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
113
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
This paper is aimed at calibrating the relative posture and position, i.e. extrinsic parameters, of a stationary camera against a 3D reference object which is not directly visible...
112
Voted
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...