821 search results - page 73 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
139
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
117
click to vote
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
132
click to vote
KDD
2007
ACM
15 years 7 months ago
2007
ACM
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...
134
click to vote
TMI
2010
14 years 8 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
112
click to vote
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...