2661 search results - page 303 / 533 » Model Checking Performability Properties |
92
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
126
click to vote
JSSPP
2005
Springer
15 years 6 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
111
Voted
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
103
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
FORTE
2008
15 years 2 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...