29143 search results - page 402 / 5829 » A Sortation System Model |
147
Voted
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
162
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...