Sciweavers

2435 search results - page 324 / 487
» GPSS - 40 years of development
Sort
View
KR
2010
Springer
15 years 11 months ago
The Temporal Logic of Token Causes
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...
Samantha Kleinberg, Bud Mishra
CDC
2009
IEEE
181views Control Systems» more  CDC 2009»
15 years 11 months ago
Stability of switched linear systems and the convergence of random products
— In this paper we give conditions that a discrete time switched linear systems must satisfy if it is stable. We do this by calculating the mean and covariance of the set of matr...
Ning Wang, Magnus Egerstedt, Clyde F. Martin
RE
2009
Springer
15 years 11 months ago
Improving the Exchange of Requirements and Specifications between Business Partners
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...
Manuel Reis Monteiro, Christof Ebert, Matthias Rec...
CT
2001
Springer
15 years 11 months ago
Cognitive Dimensions of Notations: Design Tools for Cognitive Technology
The Cognitive Dimensions of Notations framework has been created to assist the designers of notational systems and information artifacts to evaluate their designs with respect to t...
Alan F. Blackwell, Carol Britton, Anna Louise Cox,...
ER
2001
Springer
60views Database» more  ER 2001»
15 years 11 months ago
Tripod: A Comprehensive Model for Spatial and Aspatial Historical Objects
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
Tony Griffiths, Alvaro A. A. Fernandes, Norman W. ...