10159 search results - page 299 / 2032 » System Design Validation Using Formal Models |
135
click to vote
USENIX
1990
15 years 4 months ago
1990
This paper describes a new model for constructing distributed systems called the Remote Memory Model. The remote memory model consists of several client machines, one or more dedi...
126
Voted
RTSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
126
Voted
CSCWD
2005
Springer
15 years 9 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
139
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
123
Voted
IWC
2007
15 years 3 months ago
2007
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...