10159 search results - page 47 / 2032 » System Design Validation Using Formal Models |
MATA
2001
Springer
14 years 12 days ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
VSGAMES
2010
13 years 6 months ago
2010
—The paper introduces a conceptual model for the design of serious games and uses the Technology Acceptance Model (TAM) for its validation. A specially developed game introduced ...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
DT
2000
13 years 7 months ago
2000
PET
2004
Springer
14 years 1 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...