2661 search results - page 205 / 533 » Model Checking Performability Properties |
268
Voted
CASES
2011
ACM
14 years 3 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
130
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
147
Voted
IFM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
152
Voted
JUCS
2010
14 years 10 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
EMNLP
2007
15 years 4 months ago
2007
We present a comparative error analysis of the two dominant approaches in datadriven dependency parsing: global, exhaustive, graph-based models, and local, greedy, transition-base...