29143 search results - page 251 / 5829 » A Sortation System Model |
188
click to vote
APSEC
2006
IEEE
16 years 17 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
154
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Previous work (Kouvaritakis et al., 1992) proposed
206
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...