10159 search results - page 550 / 2032 » System Design Validation Using Formal Models |
158
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
139
click to vote
IJMMS
1998
15 years 6 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
150
click to vote
PDC
2004
ACM
15 years 12 months ago
2004
ACM
When arriving to Hong Kong from China, the first difficulty of the new arrival women of the grassroots class is usually environmental stress. Their socio-economic situations often...
203
click to vote
MOBICOM
2004
ACM
15 years 12 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...
167
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...